The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for actions with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1961-1973 (15) 1974-1977 (18) 1978-1980 (16) 1981-1982 (15) 1983-1984 (23) 1985 (16) 1986 (21) 1987 (33) 1988 (62) 1989 (39) 1990 (59) 1991 (72) 1992 (86) 1993 (76) 1994 (75) 1995 (103) 1996 (120) 1997 (167) 1998 (190) 1999 (233) 2000 (292) 2001 (363) 2002 (438) 2003 (532) 2004 (743) 2005 (859) 2006 (957) 2007 (1128) 2008 (1057) 2009 (835) 2010 (247) 2011 (190) 2012 (228) 2013 (226) 2014 (232) 2015 (260) 2016 (282) 2017 (258) 2018 (338) 2019 (316) 2020 (333) 2021 (356) 2022 (360) 2023 (357) 2024 (87)
Publication types (Num. hits)
article(3136) book(9) data(3) incollection(86) inproceedings(9335) phdthesis(141) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(600) AAMAS(185) IROS(165) ICRA(120) HICSS(107) CVPR(89) CONCUR(67) CHI(64) CHI Extended Abstracts(63) RoboCup(61) AAAI(57) NeuroImage(55) CogSci(54) IJCAI(54) PDC (2)(53) ACM Multimedia(49) More (+10 of total 3063)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9125 occurrences of 4100 keywords

Results
Found 12713 publication records. Showing 12713 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
13Natascha Hoebel, Roberto V. Zicari Creating User Profiles of Web Visitors Using Zones, Weights and Actions. Search on Bibsonomy CEC/EEE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Michelle L. Crane, Jürgen Dingel Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. Search on Bibsonomy CASCON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Somnuk Phon-Amnuaisuk Classify Event-Related Motor Potentials of Cued Motor Actions. Search on Bibsonomy ICONIP (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Kenneth Ellingsen Salient event-detection in video surveillance scenarios. Search on Bibsonomy AREA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF drop, salient, tracking, video, analysis, event, object, detection, surveillance, feature, extraction
13Klimis S. Ntalianis, Anastasios D. Doulamis, Nicolas Tsapatsoulis, Nikolaos D. Doulamis Human action analysis, annotation and modeling in video streams based on implicit user interaction. Search on Bibsonomy AREA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF action modeling, human action analysis, human object detection, user transparent interaction, video annotation
13Dong-Jun Park, David Eichmann Temporal video analysis. Search on Bibsonomy AREA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF video frame stack, edge detection, temporal analysis
13Lena Gorelick, Moshe Blank, Eli Shechtman, Michal Irani, Ronen Basri Actions as Space-Time Shapes. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Action representation, shape analysis, action recognition, poisson equation, space-time analysis
13Martin Hils Semifree actions of free groups. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) Primary 03C45, Secondary 20F05
13Jihong Liu, Arun V. Holden, Henggui Zhang Actions of an External Electrical Shock on Human Atrial Excitation - A Computer Model Study. Search on Bibsonomy HCI (12) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF External electrical stimulation, defibrillation threshold, bi-domain model of cardiac tissue, reentrant excitation
13Changjiang Yang, Yanlin Guo, Harpreet S. Sawhney, Rakesh Kumar 0001 Learning Actions Using Robust String Kernels. Search on Bibsonomy Workshop on Human Motion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Leonid Kof Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics. Search on Bibsonomy RE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Carlo Colombo, Dario Comanducci, Alberto Del Bimbo Compact representation and probabilistic classification of human actions in videos. Search on Bibsonomy AVSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Rishiyur S. Nikhil Composable Guarded Atomic Actions: a Bridging Model for SoC Design. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Boris A. Galitsky, Boris Kovalerchuk, Sergei O. Kuznetsov Learning Common Outcomes of Communicative Actions Represented by Labeled Graphs. Search on Bibsonomy ICCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Antonios Oikonomopoulos, Ioannis Patras, Maja Pantic, Nikos Paragios Trajectory-Based Representation of Human Actions. Search on Bibsonomy Artifical Intelligence for Human Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Thierry Bodhuin, Rosa Preziosi, Maria Tortorella Integrating RFID Services and Ubiquitous Smart Systems for Enabling Organizations to Automatically Monitor, Decide, and Take Actions. Search on Bibsonomy UIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Yuki Taniguchi, Takeshi Mori, Shin Ishii Reinforcement Learning for Cooperative Actions in a Partially Observable Multi-agent System. Search on Bibsonomy ICANN (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Enrico Giunchiglia, Marco Maratea SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Christos Xenakis Malicious actions against the GPRS technology. Search on Bibsonomy J. Comput. Virol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Tiago Soares, Ricardo Rocha 0001, Michel Ferreira Generic Cut Actions for External Prolog Predicates. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prolog Systems Implementation, External Modules, Pruning
13Volker Krüger Recognizing Action Primitives in Complex Actions Using Hidden Markov Models. Search on Bibsonomy ISVC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Naïma El-Kechaï, Christophe Després A Plan Recognition Process, Based on a Task Model, for Detecting Learner's Erroneous Actions. Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Ido Roll, Vincent Aleven, Bruce M. McLaren, Eunjeong Ryu, Ryan Shaun Joazeiro de Baker, Kenneth R. Koedinger The Help Tutor: Does Metacognitive Feedback Improve Students' Help-Seeking Actions, Skills and Learning? Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Arnim Wedig, Horst F. Wedde, Anca M. Lazarescu, Elisei Rotaru Concurrency in Distributed Systems under Autonomous and Enforced Actions. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Junko Itou, Kenji Hoshio, Jun Munemori A Prototype of a Chat System Using Message Driven and Interactive Actions Character. Search on Bibsonomy KES (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Michel François Valstar, Maja Pantic Biologically vs. Logic Inspired Encoding of Facial Actions and Emotions in Video. Search on Bibsonomy ICME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Vladimir Lifschitz Actions, Causation and Logic Programming. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Giovanni Pezzulo, Gianluca Baldassarre, Martin V. Butz, Cristiano Castelfranchi, Joachim Hoffmann From Actions to Goals and Vice-Versa: Theoretical Analysis and Models of the Ideomotor Principle and TOTE. Search on Bibsonomy SAB ABiALS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Teleonomy, goal selection, action triggering, search, feedback, goal, anticipation, robotic arms, reaching
13S. Arun-Kumar On Bisimilarities Induced by Relations on Actions. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Vivek A. Sujan, Steven Dubowsky Visually Guided Cooperative Robot Actions Based on Information Quality. Search on Bibsonomy Auton. Robots The full citation details ... 2005 DBLP  DOI  BibTeX  RDF information theory, cooperative robots, unstructured environments
13Robert Schaefer Systems of systems and coordinated atomic actions. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Moshe Blank, Lena Gorelick, Eli Shechtman, Michal Irani, Ronen Basri Actions as Space-Time Shapes. Search on Bibsonomy ICCV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Benjamin Deutsch, Heinrich Niemann, Joachim Denzler Multi-step active object tracking with entropy based optimal actions using the sequential Kalman filter. Search on Bibsonomy ICIP (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Yuelong Jiang, Ke Wang 0001, Alexander Tuzhilin, Ada Wai-Chee Fu Mining Patterns That Respond to Actions. Search on Bibsonomy ICDM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Sanjay Modgil Nested Argumentation and Its Application to Decision Making over Actions. Search on Bibsonomy ArgMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Krzysztof Cetnarowicz, Renata Cieciwa, Gabriel Rojek Behavior Evaluation with Actions' Sampling in Multi-agent System. Search on Bibsonomy CEEMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Guillaume Aucher How Our Beliefs Contribute to Interpret Actions. Search on Bibsonomy CEEMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Ignasi Rius, Daniel Rowe, Jordi Gonzàlez 0001, F. Xavier Roca A 3D Dynamic Model of Human Actions for Probabilistic Image Tracking. Search on Bibsonomy IbPRIA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Tobias Sielhorst, Tobias Blum, Nassir Navab Synchronizing 3D Movements for Quantitative Comparison and Simultaneous Visualization of Actions. Search on Bibsonomy ISMAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Shiming Xiang, Changshui Zhang, Xiaoping Chen, Naijiang Lu A New Approach to Human Motion Sequence Recognition with Application to Diving Actions. Search on Bibsonomy MLDM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Alberto Finzi, Thomas Lukasiewicz Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13J. K. Aggarwal Understanding of human motion, actions and interactions. Search on Bibsonomy AVSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Elisabetta Zibetti, Charles Tijus Understanding Actions: Contextual Dimensions and Heuristics. Search on Bibsonomy CONTEXT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Alper Yilmaz, Mubarak Shah Actions Sketch: A Novel Action Representation. Search on Bibsonomy CVPR (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Masahide Naemura, Masami Suzuki Extraction of Rhythmical Factors on Dance Actions Thorough Motion Analysis. Search on Bibsonomy WACV/MOTION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Sébastien Jodogne, Justus H. Piater Interactive learning of mappings from visual percepts to actions. Search on Bibsonomy ICML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Sangho Park, Jake K. Aggarwal A hierarchical Bayesian network for event recognition of human actions and interactions. Search on Bibsonomy Multim. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Bayesian network, Motion, Surveillance, Human interaction, Event recognition
13Vanessa Teague Selecting Correlated Random Actions. Search on Bibsonomy Financial Cryptography The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF causal ambiguity, timed event structure with causal ambiguity, Concurrency, action refinement
13Adnan Sherif, Jifeng He 0001, Ana Cavalcanti 0001, Augusto Sampaio A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Formal methods integration, real-time systems, formal verification
13Robert A. Noble, Kefeng Zhang, Roger McDermott An Investigation of Multiple Tools Actions for Virtual Sculpting Using Implicit Surfaces. Search on Bibsonomy TPCG The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Soft object, Implicit surface, Virtual sculpting
13Mirai Higuchi, Shigeki Aoki, Atsuhiro Kojima, Kunio Fukunaga Scene Recognition Based on Relationship between Human Actions and Objects. Search on Bibsonomy ICPR (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Christian Schüldt, Ivan Laptev, Barbara Caputo Recognizing Human Actions: A Local SVM Approach. Search on Bibsonomy ICPR (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions. Search on Bibsonomy OTM Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Cross-enterprise business processes modeling, fault-tolerance, UML, verification, validation, methodology, tools, advanced transaction model
13Patrick Peursum, Hung Hai Bui, Svetha Venkatesh, Geoff A. W. West Classifying Human Actions Using an Incomplete Real-Time Pose Skeleton. Search on Bibsonomy PRICAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Xin Lu, Qiong Liu, Shunichiro Oe Recognizing Non-rigid Human Actions Using Joints Tracking in Space-time. Search on Bibsonomy ITCC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Harald Fecher The Influence of Durational Actions on Time Equivalences. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo A Syntax-Based Approach to Reasoning about Actions and Events. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Danny Weyns, Tom Holvoet Regional Synchronization for Simultaneous Actions in Situated Multi-agent Systems. Search on Bibsonomy CEEMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Jordi Gonzàlez 0001, Xavier Varona, F. Xavier Roca, Juan José Villanueva Automatic Keyframing of Human Actions for Computer Animation. Search on Bibsonomy IbPRIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Kim Viborg Andersen Six Actions to Initiate PPR. Search on Bibsonomy EGOV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Tetsuo Ogino, Yahiko Kambayashi A Model of Recording Students? Actions for Elementary Education with Squeak. Search on Bibsonomy C5 The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Ramón P. Otero Embracing Causality in Inducing the Effects of Actions. Search on Bibsonomy CAEPIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13James W. Davis, Ambrish Tyagi A Reliable-Inference Framework for Recognition of Human Actions. Search on Bibsonomy AVSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Adrianna Alexander, Wolfgang Reisig Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. Search on Bibsonomy ACSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13Takahisa Ishiguro, Tohgoroh Matsui, Nobuhiro Inuzuka, Koichi Wada 0001 Reinforcement Learning Methods to Handle Actions with Differing Costs in MDPs. Search on Bibsonomy KES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
13William T. B. Uther, Manuela M. Veloso TTree: Tree-Based State Generalization with Temporally Abstract Actions. Search on Bibsonomy Adaptive Agents and Multi-Agents Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Rex Bing Hung Kwok Using Ripple Down Rules for Actions and Planning. Search on Bibsonomy PRICAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Michael Thielscher Reasoning about Actions with CHRs and Finite Domain Constraints. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Juan Manuel Serrano, Sascha Ossowski An Organizational Metamodel for the Design of Catalogues of Communicative Actions. Search on Bibsonomy PRIMA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Bjorn Braathen, Marian Stewart Bartlett, Gwen Littlewort, Evan Smith, Javier R. Movellan An Approach to Automatic Recognition of Spontaneous Facial Actions. Search on Bibsonomy FGR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF 3D pose, spontaneous facial expressions, hidden Markov models, particle filtering, Gabor wavelets, Facial expression recognition, head pose estimation, Markov chain Monte-Carlo methods, Facial action coding system, FACS
13Brian D. Davison 0001 Predicting web actions from HTML content. Search on Bibsonomy Hypertext The full citation details ... 2002 DBLP  DOI  BibTeX  RDF information retrieval, WWW, prediction, user modeling, prefetching, similarity, textual
13William T. B. Uther, Manuela M. Veloso TTree: Tree-Based State Generalization with Temporally Abstract Actions. Search on Bibsonomy SARA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Sanjeev Kumar 0004, Marcus J. Huber, Philip R. Cohen Representing and executing protocols as joint actions. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Thomas Draier, Patrick Gallinari Characterizing Sequences of User Actions for Access Logs Analysis. Search on Bibsonomy User Modeling The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Maria Malek, Rushed Kanawati COBRA: A CBR-Based Approach for Predicting Users Actions in a Web Site. Search on Bibsonomy ICCBR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Michael Thielscher Inferring Implicit State Knowledge and Plans with Sensing Actions. Search on Bibsonomy KI/ÖGAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Antonis C. Kakas, Rob Miller 0002, Francesca Toni E-RES: Reasoning about Actions, Events and Observations. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Elisabetta Zibetti, Vicenç Quera, Francesc Salvador Beltran, Charles Tijus Contextual Categorization: A Mechanism Linking Perception and Knowledge in Modeling and Simulating Perceived Events as Actions. Search on Bibsonomy CONTEXT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Martín Abadi Leslie Lamport's properties and actions. Search on Bibsonomy PODC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Michael Thielscher Planning with Noisy Actions. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Vineet Padmanabhan, Guido Governatori, Abdul Sattar 0001 Actions Made Explicit in BDI. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Alexander B. Romanovsky Looking Ahead in Atomic Actions with Exception Handling. Search on Bibsonomy SRDS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Naoko Nitta, Noboru Babaguchi, Tadahiro Kitahashi Extracting Actors, Actions and Events from Sports Video - A Fundamental Approach to Story Tracking. Search on Bibsonomy ICPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
13Massimo Ferraresso, Carlo Ferrari, Enrico Pagello, Roberto Polesel, Robert Rosati, Alberto Speranzon, Walter Zanette Collaborative Emergent Actions between Real Soccer Robots. Search on Bibsonomy RoboCup The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
13Yong Rui, P. Anandan 0001 Segmenting Visual Actions Based on Spatio-Temporal Motion Patterns. Search on Bibsonomy CVPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
13Nikitas M. Sgouros, Stavros Sotirchos Determining the Visual Interpretation of Actions in Multimedia Presentations of Interactive Stories. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF interactive entertainment systems, computer games, multimedia systems
13Jung Jin Lee, Robert McCartney Predicting User Actions Using Interface Agents with Individual User Models. Search on Bibsonomy PRIMA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
13Elisabetta Zibetti, Elizabeth Hamilton, Charles Tijus The Role of Context in Interpreting Perceived Events as Actions. Search on Bibsonomy CONTEXT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
13Malcolm Macgregor, Pete Thomas, Mark Woodman Recording User Actions in a Smalltalk Programming Environment. Search on Bibsonomy TOOLS (30) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
13Gilles Paris Cooperation between Interactive Actions and Automatic Drawing in a Schematic Editor. Search on Bibsonomy GD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
13Bertram Ludäscher, Wolfgang May Referential Actions: From Logical Semantics to Implementation. Search on Bibsonomy EDBT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
13Anthony J. Bonner, Michael Kifer The State of Change: A Survey. Search on Bibsonomy Transactions and Change in Logic Databases The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
13C. Donald Wilcox, Gruia-Catalin Roman Reasoning About Places, Times, and Actions in the Presence of Mobility. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Mobile computing, time, action, place, UNITY, formal derivation, specification refinement
13Rex Bing Hung Kwok Creating Theoretical Terms for Non-deterministic Actions. Search on Bibsonomy PRICAI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
13Stéphane Herbin Recognizing 3D Objects by Generating Random Actions. Search on Bibsonomy CVPR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF learning in computer vision, object recognition, active vision
13Erik Sandewall Reasoning about Actions and Change with Ramification. Search on Bibsonomy Computer Science Today The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
13Yuri Gurevich, James K. Huggins The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
13Leslie Lamport The Temporal Logic of Actions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF concurrent programming, safety properties, liveness properties
13Thomas Långbacka A HOL Formalisation of the Temporal Logic of Actions. Search on Bibsonomy TPHOLs The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #601 - #700 of 12713 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license