Search results for "ACT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Neeta Verma, Durga Prasad Misra, Pankaj K. P. Shreyaskar, M. Kamala Kannan	Enabling citizens to leverage the provisions of the RTI act of India: an ICT driven case study.	ICEGOV	2009	DBLP DOI BibTeX RDF	National Portal of India, RTI Act, complaints & appeals, government of India, right to information act
65	Bryan Robbins, Daniel W. Carruth, Alexander Morais	Bridging the Gap between HCI and DHM: The Modeling of Spatial Awareness within a Cognitive Architecture.	HCI (11)	2009	DBLP DOI BibTeX RDF	Cognio simulatetive Architecture, ACT-R/DHM, Cognitive Modeling, Spatial Cognition, Human Performance Modeling, Digital Human Modeling, ACT-R
44	Seyed Masoud Sadjadi, Philip K. McKinley	ACT: An Adaptive CORBA Template to Support Unanticipated Adaptation.	ICDCS	2004	DBLP DOI BibTeX RDF
44	Douglas P. Twitchell, Jay F. Nunamaker Jr.	Speech Act Pro.ling: A Probabilistic Method for Analyzing Persistent Conversations and Their Participants.	HICSS	2004	DBLP DOI BibTeX RDF
44	Peter Pirolli, Wai-Tat Fu	SNIF-ACT: A Model of Information Foraging on the World Wide Web.	User Modeling	2003	DBLP DOI BibTeX RDF
43	J. Gregory Trafton, Magdalena D. Bugajska, Benjamin R. Fransen, Raj M. Ratwani	Integrating vision and audition within a cognitive architecture to track conversations.	HRI	2008	DBLP DOI BibTeX RDF	conversation following, human-robot interaction, cognitive modeling, act-r
40	Isabel Hardemo	Finding a form to hold the act of queuing.	Pers. Ubiquitous Comput.	2004	DBLP DOI BibTeX RDF	Interactional features, Work-oriented design, The act of queuing
40	Man Kit Chang, Carson C. Woo	A Speech-Act Negotiation Protocol: Design, Implementation, and Test Use.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	organizational computing systems, negotiation, speech act theory
38	Yulin Qin, Daniel Bothell, John R. Anderson	ACT-R Meets fMRI.	WImBI	2006	DBLP DOI BibTeX RDF
38	Christian Lebiere	The dynamics of cognition: An ACT-R model of cognitive arithmetic.	Kognitionswissenschaft	1999	DBLP DOI BibTeX RDF
38	Jade Master, Martha Lewis (eds.)	Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022.	ACT	2023	DBLP DOI BibTeX RDF
38	Kohei Kishida (eds.)	Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021.	ACT	2022	DBLP DOI BibTeX RDF
38	Flavien Breuvart, Dylan McDermott, Tarmo Uustalu	Canonical Gradings of Monads.	ACT	2022	DBLP DOI BibTeX RDF
38	Leo Lobski, Fabio Zanasi	String Diagrams for Layered Explanations.	ACT	2022	DBLP DOI BibTeX RDF
38	Toby St Clere Smithe	Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing.	ACT	2022	DBLP DOI BibTeX RDF
38	John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood, Evan Patterson	Compositional Modeling with Stock and Flow Diagrams.	ACT	2022	DBLP DOI BibTeX RDF
38	Steve Huntsman	Magnitude and topological entropy of digraphs.	ACT	2022	DBLP DOI BibTeX RDF
38	David I. Spivak	Polynomial functors and Shannon entropy.	ACT	2022	DBLP DOI BibTeX RDF
38	Pietro Vertechi	Dependent Optics.	ACT	2022	DBLP DOI BibTeX RDF
38	Andrea Censi, Emilio Frazzoli, Jonathan Lorand, Gioele Zardini	Categorification of Negative Information using Enrichment.	ACT	2022	DBLP DOI BibTeX RDF
38	Brandon Shapiro, David I. Spivak	Dynamic categories, dynamic operads: From deep learning to prediction markets.	ACT	2022	DBLP DOI BibTeX RDF
38	James Hefford, Cole Comfort	Coend Optics for Quantum Combs.	ACT	2022	DBLP DOI BibTeX RDF
38	Elena Di Lavore, Pawel Sobocinski 0001	Monoidal Width: Capturing Rank Width.	ACT	2022	DBLP DOI BibTeX RDF
38	Mario Román	Promonads and String Diagrams for Effectful Categories.	ACT	2022	DBLP DOI BibTeX RDF
38	Malin Altenmüller, Ross Duncan	A Category of Surface-Embedded Graphs.	ACT	2022	DBLP DOI BibTeX RDF
38	Ezra Schoen	Lax Liftings and Lax Distributive Laws.	ACT	2022	DBLP DOI BibTeX RDF
38	Matteo Capucci	Diegetic representation of feedback in open games.	ACT	2022	DBLP DOI BibTeX RDF
38	Guillaume Boisseau, Chad Nester, Mario Román	Cornering Optics.	ACT	2022	DBLP DOI BibTeX RDF
38	Amar Hadzihasanovic, Diana Kessler	Data structures for topologically sound higher-dimensional diagram rewriting.	ACT	2022	DBLP DOI BibTeX RDF
38	David I. Spivak, Jamie Vicary (eds.)	Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020.	ACT	2021	DBLP DOI BibTeX RDF
38	Christian Williams, Michael Stay	Native Type Theory.	ACT	2021	DBLP DOI BibTeX RDF
38	Cole Comfort, Aleks Kissinger	A Graphical Calculus for Lagrangian Relations.	ACT	2021	DBLP DOI BibTeX RDF
38	Toby St Clere Smithe	Polynomial Life: the Structure of Adaptive Systems.	ACT	2021	DBLP DOI BibTeX RDF
38	David I. Spivak	Learners' languages.	ACT	2021	DBLP DOI BibTeX RDF
38	Razin A. Shaikh, Lia Yeh, Benjamin Rodatz, Bob Coecke	Composing Conversational Negation.	ACT	2021	DBLP DOI BibTeX RDF
38	Dan Shiebler	Functorial Manifold Learning and Overlapping Clustering.	ACT	2021	DBLP DOI BibTeX RDF
38	Soichiro Fujii, Yuni Iwamasa, Kei Kimura	Quantaloidal approach to constraint satisfaction.	ACT	2021	DBLP DOI BibTeX RDF
38	Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi	A Categorical Semantics for Bounded Petri Nets.	ACT	2021	DBLP DOI BibTeX RDF
38	Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg	Translating Extensive Form Games to Open Games with Agency.	ACT	2021	DBLP DOI BibTeX RDF
38	Andrew M. Pitts, S. C. Steenkamp	Constructing Initial Algebras Using Inflationary Iteration.	ACT	2021	DBLP DOI BibTeX RDF
38	Guillaume Boisseau, Pawel Sobocinski 0001	String Diagrammatic Electrical Circuit Theory.	ACT	2021	DBLP DOI BibTeX RDF
38	Sean Tull	A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces.	ACT	2021	DBLP DOI BibTeX RDF
38	Jérémie Koenig	Grounding Game Semantics in Categorical Algebra.	ACT	2021	DBLP DOI BibTeX RDF
38	Jean-Simon Pacaud Lemay	Jacobians and Gradients for Cartesian Differential Categories.	ACT	2021	DBLP DOI BibTeX RDF
38	Paul W. Wilson 0002, Fabio Zanasi	The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition.	ACT	2021	DBLP DOI BibTeX RDF
38	Nicolas Behr, Joachim Kock	Tracelet Hopf algebras and decomposition spaces.	ACT	2021	DBLP DOI BibTeX RDF
38	Chad Nester	Situated Transition Sytems.	ACT	2021	DBLP DOI BibTeX RDF
38	John Baez, Bob Coecke (eds.)	Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019.	ACT	2020	DBLP DOI BibTeX RDF
38	Brendan Fong, David Jaz Myers, David I. Spivak	Behavioral Mereology: A Modal Logic for Passing Constraints.	ACT	2020	DBLP DOI BibTeX RDF
38	Evan Patterson, David I. Spivak, Dmitry Vagner	Wiring diagrams as normal forms for computing in symmetric monoidal categories.	ACT	2020	DBLP DOI BibTeX RDF
38	Luigi Santocanale	Dualizing sup-preserving endomaps of a complete lattice.	ACT	2020	DBLP DOI BibTeX RDF
38	Geoffrey S. H. Cruttwell, Jonathan Gallagher, Dorette Pronk	Categorical semantics of a simple differential programming language.	ACT	2020	DBLP DOI BibTeX RDF
38	Vladimir Zamdzhiev	Computational Adequacy for Substructural Lambda Calculi.	ACT	2020	DBLP DOI BibTeX RDF
38	Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming	Compositional Cyber-Physical Systems Modeling.	ACT	2020	DBLP DOI BibTeX RDF
38	Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli	A Compositional Sheaf-Theoretic Framework for Event-Based Systems.	ACT	2020	DBLP DOI BibTeX RDF
38	Toby St Clere Smithe	Cyber Kittens, or Some First Steps Towards Categorical Cybernetics.	ACT	2020	DBLP DOI BibTeX RDF
38	Swaraj Dash, Sam Staton	A Monad for Probabilistic Point Processes.	ACT	2020	DBLP DOI BibTeX RDF
38	Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger	Proof Theory of Partially Normal Skew Monoidal Categories.	ACT	2020	DBLP DOI BibTeX RDF
38	Spencer Breiner, John S. Nolan	Symmetric Monoidal Categories with Attributes.	ACT	2020	DBLP DOI BibTeX RDF
38	Mario Román	Open Diagrams via Coend Calculus.	ACT	2020	DBLP DOI BibTeX RDF
38	Martin Hyland, Christine Tasson	The linear-non-linear substitution 2-monad.	ACT	2020	DBLP DOI BibTeX RDF
38	Paul W. Wilson 0002, Fabio Zanasi	Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits.	ACT	2020	DBLP DOI BibTeX RDF
38	Matthew Wilson, James Hefford, Guillaume Boisseau, Vincent Wang	The Safari of Update Structures: Visiting the Lens and Quantum Enclosures.	ACT	2020	DBLP DOI BibTeX RDF
38	Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg	Compositional Game Theory, Compositionally.	ACT	2020	DBLP DOI BibTeX RDF
38	Richard Statman	Products in a Category with Only One Object.	ACT	2020	DBLP DOI BibTeX RDF
38	Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni, Gijs Wijnholds	Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract).	ACT	2020	DBLP DOI BibTeX RDF
38	Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi	Functorial Language Games for Question Answering.	ACT	2020	DBLP DOI BibTeX RDF
38	Antonin Delpeuch	A complete language for faceted dataflow programs.	ACT	2019	DBLP DOI BibTeX RDF
38	Dominique Pastor, Erwan Beurier, Andrée C. Ehresmann, Roger Waldeck	Interfacing biology, category theory and mathematical statistics.	ACT	2019	DBLP DOI BibTeX RDF
38	Brendan Fong, David I. Spivak	String Diagrams for Regular Logic (Extended Abstract).	ACT	2019	DBLP DOI BibTeX RDF
38	Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla	idris-ct: A Library to do Category Theory in Idris.	ACT	2019	DBLP DOI BibTeX RDF
38	Vladimir Zamdzhiev	Reflecting Algebraically Compact Functors.	ACT	2019	DBLP DOI BibTeX RDF
38	Spencer Breiner, Blake S. Pollard, Eswaran Subrahmanian, Olivier Marie-Rose	Modeling Hierarchical System with Operads.	ACT	2019	DBLP DOI BibTeX RDF
38	Antonin Delpeuch	Autonomization of Monoidal Categories.	ACT	2019	DBLP DOI BibTeX RDF
38	John C. Baez, Christian Williams	Enriched Lawvere Theories for Operational Semantics.	ACT	2019	DBLP DOI BibTeX RDF
38	Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi	Montague Semantics for Lambek Pregroups.	ACT	2019	DBLP DOI BibTeX RDF
38	Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette	Topos Semantics for a Higher-Order Temporal Logic of Actions.	ACT	2019	DBLP DOI BibTeX RDF
38	Bruno Gavranovic	Learning Functors using Gradient Descent.	ACT	2019	DBLP DOI BibTeX RDF
38	John S. Nolan, Blake S. Pollard, Spencer Breiner, Dhananjay Anand, Eswaran Subrahmanian	Compositional Models for Power Systems.	ACT	2019	DBLP DOI BibTeX RDF
38	Micah Halter, Christine Herlihy, James P. Fairbanks	A Compositional Framework for Scientific Model Augmentation.	ACT	2019	DBLP DOI BibTeX RDF
38	Nicolas Behr	Tracelets and Tracelet Analysis Of Compositional Rewriting Systems.	ACT	2019	DBLP DOI BibTeX RDF
38	Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg	Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law.	ACT	2019	DBLP DOI BibTeX RDF
38	Qing Jia	Deliberate Contrary-to-Law Action.	LORI	2009	DBLP DOI BibTeX RDF	deliberate contrary-to-law action, irrational action, perspectival act utilitarianism
38	Dario D. Salvucci, Frank J. Lee	Simple cognitive modeling in a complex cognitive architecture.	CHI	2003	DBLP DOI BibTeX RDF	cognitive modeling, cognitive architectures, ACT-R
37	Marine Carpuat, Lucia Specia, Dekai Wu (eds.)	Proceedings of the Sixth Workshop on Syntax, Semantics and Structure in Statistical Translation, SSST@ACT 2012, Jeju, Korea, 12 July 2012	SSST@ACT	2012	DBLP BibTeX RDF
36	Driss Azougagh, Jung-Lok Yu, Jin-Soo Kim 0001, Seung Ryoul Maeng	Resource Co-Allocation : A Complementary Technique that Enhances Performance in Grid Computing Environment.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
35	Christina Alexandris	A Speech-Act Oriented Approach for User-Interactive Editing and Regulation Processes Applied in Written and Spoken Technical Texts.	HCI (2)	2009	DBLP DOI BibTeX RDF	Technical texts, Task-oriented dialog, prosodic modeling, Speech Act, Controlled Language
35	Richard H. Stern	West Coast Federal Appeals Court Upholds Chip Protection Act Violation Finding.	IEEE Micro	2007	DBLP DOI BibTeX RDF	antitrust violation, Semiconductor Chip Protection Act, chip piracy, monopoly, Altera, Clear Logic, reverse engineering, ASICs, law, bitstream
35	Ming Qi, Binbin Wei	Design and analysis of administrative approval act based electronic government evaluation system.	ICEC	2005	DBLP DOI BibTeX RDF	administrative approval act, electronic government, evaluation system
35	Steven O. Kimbrough, Scott A. Moore	On Automated Message Processing in Electronic Commerce and Work Support Systems: Speech Act Theory and Expressive Felicity.	ACM Trans. Inf. Syst.	1997	DBLP DOI BibTeX RDF	formal language for business communication, electronic commerce, speech act theory
35	Motoshi Saeki, Kinji Matsumura, Jun'ichi Shimoda, Haruhiko Kaiya	Structuring utterance records of requirements elicitation meetings based on speech act theory.	ICRE	1996	DBLP DOI BibTeX RDF	utterance records, formal specification, knowledge acquisition, requirements elicitation, speech processing, keywords, speech act theory
34	Alex Carmichael, Mark D. Rice, David Sloan, Peter Gregor	Digital switchover or digital divide: a prognosis for usable and accessible interactive digital television in the UK.	Univers. Access Inf. Soc.	2006	DBLP DOI BibTeX RDF	Digital television action plan, Ofcom, Disability discrimination act, Digital exclusion, Communications act
33	Shinichi Motomura, Yuya Ojima, Ning Zhong 0001	EEG/ERP Meets ACT-R: A Case Study for Investigating Human Computation Mechanism.	Brain Informatics	2009	DBLP DOI BibTeX RDF
33	Sangwoo Kang, Donghyun Kim, Harksoo Kim, Jungyun Seo	Speech Act Classification Based on Individual Statistical Models in a Multi-Domain.	RO-MAN	2007	DBLP DOI BibTeX RDF
33	Brett Adams, Svetha Venkatesh, Hung Hai Bui, Chitra Dorai	A Probabilistic Framework for Extracting Narrative Act Boundaries and Semantics in Motion Pictures.	Multim. Tools Appl.	2005	DBLP DOI BibTeX RDF	multimedia content management, semantics, film, narrative structure
33	Chung-Hsien Wu, Gwo-Lang Yan	Speech act modeling and verification of spontaneous speech with disfluency in a spoken dialogue system.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
33	William G. Kennedy, Magdalena D. Bugajska, Anthony M. Harrison, J. Gregory Trafton	"Like-Me" Simulation as an Effective and Cognitively Plausible Basis for Social Robotics.	Int. J. Soc. Robotics	2009	DBLP DOI BibTeX RDF	“Like-me” simulation, Cognitive plausibility, Theory of Mind, Embodied cognition, ACT-R
33	Robbert-Jan Beun, Rogier M. van Eijk	Dialogue Coherence: A Generation Framework.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Cooperative dialogue games, Speech act generation, Cognitive state update, Cognitive balance, Commitments, Beliefs
33	Marco Colombetti, Mario Verdicchio	An analysis of agent speech acts as institutional actions.	AAMAS	2002	DBLP DOI BibTeX RDF	commitment, action, agent communication language, speech act
31	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF