|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3688 occurrences of 2344 keywords
|
|
|
Results
Found 5313 publication records. Showing 5313 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 5313 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|