|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8145 occurrences of 3904 keywords
|
|
|
Results
Found 28638 publication records. Showing 28636 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Juan Carlos Niebles, Hongcheng Wang, Li Fei-Fei 0001 |
Unsupervised Learning of Human Action Categories Using Spatial-Temporal Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 79(3), pp. 299-318, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Action categorization, Spatio-temporal interest points, Unsupervised learning, Topic models, Bag of words |
32 | Steve Barker |
Access control by action control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 13th ACM Symposium on Access Control Models and Technologies, SACMAT 2008, Estes Park, CO, USA, June 11-13, 2008, Proceedings, pp. 143-152, 2008, ACM, 978-1-60558-129-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
action control, logic |
32 | Harald Fecher, Mila E. Majster-Cederbaum |
Action Refinement Applied to Late Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(2), pp. 211-230, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency |
32 | Guangyu Zhu, Changsheng Xu, Qingming Huang, Wen Gao 0001, Liyuan Xing |
Player action recognition in broadcast tennis video with applications to semantic analysis of sports game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 14th ACM International Conference on Multimedia, Santa Barbara, CA, USA, October 23-27, 2006, pp. 431-440, 2006, ACM, 1-59593-447-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object tracking, semantic analysis, action recognition, motion representation |
32 | Alwyn Barry |
The stability of long action chains in XCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 6(3-4), pp. 183-199, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Action-chain, XCS, Generalisation |
32 | Luis Carlos de Sousa Menezes, Geber L. Ramalho, Hermano Perrelli de Moura |
Modular definition of agent-oriented languages using action semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 948-949, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
agent programming languages and environments, formal methods, programming languages, formal semantics, action semantics |
32 | Mila E. Majster-Cederbaum, Jinzhao Wu |
Action Refinement for True Concurrent Real Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden, pp. 58-68, 2001, IEEE Computer Society, 0-7695-1159-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
timed event structure, timed process algebra, action refinement, true concurrency |
32 | Jane E. Sinclair |
Action Systems for Security Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland, pp. 102-, 1996, IEEE Computer Society, 0-8186-7522-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
security development, formal methods, noninterference, Action systems |
32 | Balachander Krishnamurthy, David S. Rosenblum |
Yeast: A General Purpose Event-Action System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(10), pp. 845-857, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
event-action systems, distributed computing, specifications, Computer networks, software process, software development environments, event models |
31 | Dimitri Ognibene, Christian Balkenius, Gianluca Baldassarre |
Integrating Epistemic Action (Active Vision) and Pragmatic Action (Reaching): A Neural Architecture for Camera-Arm Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAB ![In: From Animals to Animats 10, 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings, pp. 220-229, 2008, Springer, 978-3-540-69133-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Pascal Haazebroek, Bernhard Hommel |
Towards a Computational Model of Perception and Action in Human Computer Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 247-256, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
action effect learning, HCI, Perception, Action, Cognitive Architecture, connectionism, PDP |
31 | Michael A. Arbib, JinYong Lee |
Vision and Action in the Language-Ready Brain: From Mirror Neurons to SemRep. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BVAI ![In: Advances in Brain, Vision, and Artificial Intelligence, Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings, pp. 104-123, 2007, Springer, 978-3-540-75554-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
brain mechanisms, competition and cooperation, construction grammar, dynamic visual scenes, language perception, language production, mirror neurons, SemRep, visual perception, vision, action, action recognition, schema theory, scene descriptions |
31 | Nereu F. Kock Jr., Robert J. McQueen, Megan Baker, Anne C. Rouse |
Negotiation in information systems action research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCNZ ![In: Proceedings of the 1996 Information Systems Conference of New Zealand, ISCNZ '96, October 30-31, 1996, pp. 164-175, 1996, IEEE Computer Society, 0-8186-7710-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
information systems action research, gradual negotiation process, initiative dilemma, IS action research, client organisations, research topic, cyclical information exchange, information systems, research project |
31 | Jean-Claude Laprie, Karama Kanoun, Christian Béounes, Mohamed Kaâniche |
The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(4), pp. 370-382, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
KAT, knowledge-action-transformation, availability growth, single-component systems, action models, hyperexponential model, multicomponent systems, knowledge based systems, software reliability, Markov processes, Markov models, knowledge models, reliability theory |
30 | Wanqing Li 0001, Zhengyou Zhang, Zicheng Liu 0001 |
Expandable Data-Driven Graphical Modeling of Human Actions Based on Salient Postures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 18(11), pp. 1499-1510, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Logic Programming for Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings, pp. 591, 2002, Springer, 3-540-44038-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Wayne Wobcke |
Agency and the Logic of Ability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications ![In: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997, pp. 31-45, 1997, Springer, 3-540-64769-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Paolo Traverso |
Planning Under Uncertainty and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning, Action and Interaction in AI Theories and Systems ![In: Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello, pp. 213-228, 2006, Springer, 3-540-37901-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Kenta Oku, Shinsuke Nakajima, Jun Miyazaki, Shunsuke Uemura, Hirokazu Kato 0001 |
A recommendation method considering users' time series contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2009, Suwon, Korea, January 15-16, 2009, pp. 465-470, 2009, ACM, 978-1-60558-405-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
recommendation method, time series contexts, user's action pattern, user's contexts |
29 | Odest Chadwicke Jenkins, Germán González Serrano, Matthew Maverick Loper |
Tracking human motion and actions for interactive robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the Second ACM SIGCHI/SIGART Conference on Human-Robot Interaction, HRI 2007, Arlington, Virginia, USA, March 10-12, 2007, pp. 365-372, 2007, ACM, 978-1-59593-617-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
markerless motion capture, human-robot interaction, action recognition, human tracking |
29 | David A. Watt |
Action Semantics in Retrospect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 4-20, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Hankui Zhuo, Qiang Yang 0001, Lei Li 0022 |
Transfer Learning Action Models by Measuring the Similarity of Different Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009, Proceedings, pp. 697-704, 2009, Springer, 978-3-642-01306-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Imran N. Junejo, Emilie Dexter, Ivan Laptev, Patrick Pérez |
Cross-View Action Recognition from Temporal Self-similarities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part II, pp. 293-306, 2008, Springer, 978-3-540-88685-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Isabelle Perseil, Laurent Pautet |
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 217-221, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Agnieszka Dardzinska, Zbigniew W. Ras |
Cooperative Discovery of Interesting Action Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006, Proceedings, pp. 489-497, 2006, Springer, 3-540-34638-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Zbigniew W. Ras, Agnieszka Dardzinska |
Action Rules Discovery, a New Simplified Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings, pp. 445-453, 2006, Springer, 3-540-45764-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Volker Krüger |
Recognizing Action Primitives in Complex Actions Using Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing, Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I, pp. 538-547, 2006, Springer, 3-540-48628-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Uwe V. Riss |
Knowledge, Action, and Context: Impact on Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wissensmanagement (LNCS Volume) ![In: Professional Knowledge Management, Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers, pp. 598-608, 2005, Springer, 3-540-30465-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Alper Yilmaz, Mubarak Shah |
Actions Sketch: A Novel Action Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 20-26 June 2005, San Diego, CA, USA, pp. 984-989, 2005, IEEE Computer Society, 0-7695-2372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Christel Kemke |
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings, pp. 657-662, 2003, Springer, 3-540-20256-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Ozan Kahramanogullari, Michael Thielscher |
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, pp. 209-223, 2003, Springer, 3-540-20059-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Christel Kemke |
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings, pp. 458-465, 2003, Springer, 3-540-40300-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Ashish Kapoor, Yuan (Alan) Qi, Rosalind W. Picard |
Fully Automatic Upper Facial Action Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMFG ![In: 2003 IEEE International Workshop on Analysis and Modeling of Faces and Gestures (AMFG 2003), 17 October 2003, Nice, France, Proceedings, pp. 195-202, 2003, IEEE Computer Society, 0-7695-2010-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Renwei Li, Luís Moniz Pereira, Verónica Dahl |
Refining Action Theories through Abductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPKR ![In: Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers, pp. 123-138, 1997, Springer, 3-540-64958-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Robin Milner |
Higher-Order Action Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers, pp. 238-260, 1993, Springer, 3-540-58277-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Michael Beetz, Thorsten Schmitt, Robert Hanek, Sebastian Buck 0001, Freek Stulp, Derik Schröter, Bernd Radig |
The AGILO Robot Soccer Team-Experience-Based Learning and Probabilistic Reasoning in Autonomous Robot Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 17(1), pp. 55-77, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
coordination of perception, reasoning and action, integration and coordination of multiple activities, action selection and planning |
28 | Patricia Balbastre, Ismael Ripoll, Alfons Crespo |
Control tasks delay reduction under static and dynamic scheduling policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 522-, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
control task delay reduction, dynamic scheduling policy, static scheduling policy, control action delays, dynamic scheduling policies, data acquisition interval, control action interval, DAI, control design phase, scheduling, delays, control systems, industrial application, data acquisition, data acquisition, scheduling policies, static scheduling, control algorithms, EDF scheduling, industrial control, CAI, worst case response time, task decomposition, control performances, digital control |
28 | Pirkko Walden, Christer Carlsson |
Hyperknowledge and expert systems: a case study of knowledge formation processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 73-90, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
knowledge formation processes, action programs, sustainable competitive advantages, business units, strategic planning period, Woodstrat, action program activities, business unit levels, competitive elements, intermodular links, user-developed expert knowledge, hyperknowledge user interface, user interfaces, case study, expert systems, expert systems, business data processing, strategic planning, user-supportive, strategic management |
28 | Tracy Anne Hammond, Drew Logsdon, Joshua M. Peschel, Joshua Johnston, Paul Taele, Aaron Wolin, Brandon Paulson |
A sketch recognition interface that recognizes hundreds of shapes in course-of-action diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 4213-4218, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
course-of-action diagrams, sketch recognition, pen-based input |
28 | Marco Leo, Tiziana D'Orazio, Paolo Spagnolo, Pier Luigi Mazzeo, Arcangelo Distante |
Multi-view Player Action Recognition in Soccer Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIRAGE ![In: Computer Vision/Computer Graphics Collaboration Techniques, 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings, pp. 46-57, 2009, Springer, 978-3-642-01810-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Human Pose Estimation, Soccer Player Action Recognition, Neural Networks, Contourlet Transform |
28 | Junichi Hoshino, Hiroshi Mori |
Incremental Learning Algorithm for Online Action Game System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Entertainment Computing - ICEC 2009, 8th International Conference, Paris, France, September 3-5, 2009. Proceedings, pp. 319-322, 2009, Springer, 978-3-642-04051-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
action game, imitation learning, non-player character |
28 | Riccardo Mattivi, Ling Shao 0001 |
Human Action Recognition Using LBP-TOP as Sparse Spatio-Temporal Feature Descriptor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings, pp. 740-747, 2009, Springer, 978-3-642-03766-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
LBP-TOP, Human action recognition, bag of words |
28 | Yao-Jen Chang, Hsin-Yu Hsu, Tsen-Yung Wang |
Action science approach to nonprofit housing services using web 2.0 mapping tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 953-958, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mapping tools, web 2.0, RDFS, action research, context-aware services |
28 | Toshiyuki Yasuda, Kazuhiro Ohkura |
A Reinforcement Learning Technique with an Adaptive Action Generator for a Multi-robot System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAB ![In: From Animals to Animats 10, 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings, pp. 250-259, 2008, Springer, 978-3-540-69133-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Autonomous Specialization, Action Search, Reinforcement Learning, Multi-Robot System |
28 | Lei Chi, Clyde W. Holsapple, Cidambi Srinivasan |
The linkage between IOS use and competitive action: a competitive dynamics perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 5(4), pp. 319-356, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IOS use, Competitive action, Competitive dynamics, IT measures |
28 | Zachary Ernst, Sara Rachel Chant |
Collective Action as Individual Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(3), pp. 415-434, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
collective intention, collective action, interactive epistemology |
28 | Toshiyuki Yasuda, Kazuhiro Ohkura |
Improving Search Efficiency in the Action Space of an Instance-Based Reinforcement Learning Technique for Multi-robot Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings, pp. 325-334, 2007, Springer, 978-3-540-74912-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Autonomous Specialisation, Action Search, Reinforcement Learning, Multi-robot System |
28 | Takahiro Fujita, Yoshinobu Maeda, Masazumi Katayama |
Independence of Perception and Action for Grasping Positions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 1021-1030, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
visual perception, Grasping, action |
28 | Thomas Dowad |
PAWS: Personal Action Wireless Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 10(2-3), pp. 173-176, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Home control, Wireless, Accelerometer, Gestural control, Human action |
28 | Vasu Parameswaran, Rama Chellappa |
View Invariance for Human Action Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 66(1), pp. 83-101, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
2D invariance, invariance space trajectories, human action recognition |
28 | Feiyue Huang, Huijun Di, Guangyou Xu |
Viewpoint Insensitive Posture Representation for Action Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMDO ![In: Articulated Motion and Deformable Objects, 4th International Conference, AMDO 2006, Port d'Andratx, Mallorca, Spain, July 11-14, 2006, Proceedings, pp. 143-152, 2006, Springer, 3-540-36031-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
View Invariant, Affine Projection Model, Envelop Shape, Action Recognition |
28 | Freek Stulp, Michael Beetz |
Action awareness: enabling agents to optimize, transform, and coordinate plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 482-484, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
learning action models, plan optimization, computational model |
28 | Ian MacColl, Roslyn Cooper, Markus Rittenbruch, Stephen Viller |
Watching ourselves watching: ethical issues in ethnographic action research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OZCHI ![In: Proceedings of the 2005 Australasian Computer-Human Interaction Conference, OZCHI 2005, Canberra, Australia, November 21-25, 2005, 2005, ACM, 1-59593-222-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ethnographic action research, ethics, participant-observation |
28 | Chia-Ju Wu, Tsong-Li Lee |
A Fuzzy Mechanism for Action Selection of Soccer Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 39(1), pp. 57-70, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fuzzy set theory, action selection, soccer robots |
28 | Lauge Baungaard Rasmussen, Francesco Garibaldo |
Action research through a European perspective - based on Scandinavian and Italian traditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 18(2), pp. 87-99, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
institutionalisation, organised knowledge, practical knowledge, research traditions, action research |
28 | Satinder P. Gill, Jan O. Borchers |
Knowledge in co-action: social intelligence in collaborative design activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 17(3-4), pp. 322-339, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Coordinated autonomy, Knowledge in co-action, Parallel coordinated moves, Social intelligence, Graphical interaction |
28 | Ralph-Johan Back, Joakim von Wright |
Compositional Action System Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(2-3), pp. 103-117, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Rely/guarantee, Refinement, Compositionality, Action systems |
28 | Cen Rao, Mubarak Shah |
View-Invariant Representation and Learning of Human Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Workshop on Detection and Recognition of Events in Video ![In: IEEE Workshop on Detection and Recognition of Events in Video, EVENT 2001, Vancouver, BC, Canada, July 8, 2001, Proceedings, pp. 55-63, 2001, IEEE Computer Society, 0-7695-1293-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
View-invariant Representation, Spatiotemporal curvature, Events, Activities, Action Recognition, Video Understanding |
28 | Ying-li Tian, Takeo Kanade, Jeffrey F. Cohn |
Recognizing Lower Face Action Units for Facial Expression Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 4th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2000), 26-30 March 2000, Grenoble, France, pp. 484-490, 2000, IEEE Computer Society, 0-7695-0580-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Action Unit, Recognition, Facial Expression Analysis |
28 | Stephen S. Intille, Aaron F. Bobick |
Visual Recognition of Multi-Agent Action Using Binary Temporal Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1999 Conference on Computer Vision and Pattern Recognition (CVPR '99), 23-25 June 1999, Ft. Collins, CO, USA, pp. 1056-, 1999, IEEE Computer Society, 0-7695-0149-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
multi-agent action recognition, motion un-derstanding, plan recognition |
28 | Célio Estevan Morón |
Designing a real-time recoverable action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 162-169, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
real-time recoverable action, reliability requirements, fault-tolerance requirements, reliable real-time systems, forward error recovery, real-time systems, real-time constraints, adaptable scheduler, backward error recovery |
27 | Pingkun Yan, Saad M. Khan, Mubarak Shah |
Learning 4D action feature models for arbitrary view action recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Mikel D. Rodriguez, Javed Ahmed, Mubarak Shah |
Action MACH a spatio-temporal Maximum Average Correlation Height filter for action recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Klimis 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](Pics/bibsonomy.png) |
AREA ![In: Proceedings of the 1st ACM Workshop on Analysis and Retrieval of Events/Actions and Workflows in Video Streams, AREA 2008, Vancouver, British Columbia, Canada, October 31, 2008, pp. 65-72, 2008, ACM, 978-1-60558-318-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
action modeling, human action analysis, human object detection, user transparent interaction, video annotation |
26 | Bogdan Ionescu, Patrick Lambert, Didier Coquin, Laurent Ott, Vasile Buzuloiu |
Animation movies trailer computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 14th ACM International Conference on Multimedia, Santa Barbara, CA, USA, October 23-27, 2006, pp. 631-634, 2006, ACM, 1-59593-447-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Tomoharu Nakashima, Masahiro Takatani, Masayo Udo, Hisao Ishibuchi, Manabu Nii |
Performance Evaluation of an Evolutionary Method for RoboCup Soccer Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2005: Robot Soccer World Cup IX, pp. 616-623, 2005, Springer, 3-540-35437-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Tomoharu Nakashima, Masahiro Takatani, Masayo Udo, Hisao Ishibuchi |
An evolutionary approach for strategy learning in RoboCup soccer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 2023-2028, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Yasuhiko Kitamura, Takuya Murao |
Risk Management Methods for Speculative Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 1250-1251, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Jordi Gonzàlez 0001, Xavier Varona, F. Xavier Roca, Juan José Villanueva |
Automatic Keyframing of Human Actions for Computer Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA ![In: Pattern Recognition and Image Analysis, First Iberian Conference, IbPRIA 2003, Puerto de Andratx, Mallorca, Spain, June 4-6, 2003, Proceedings, pp. 287-296, 2003, Springer, 3-540-40217-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Yu Ohigashi, Takashi Omori, Koji Morikawa, Natsuki Oka |
Acceleration of Game Learning with Prediction-Based Reinforcement Learning - Toward the Emergence of Planning Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003, Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings, pp. 786-796, 2003, Springer, 3-540-40408-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Tanveer Fathima Syeda-Mahmood |
Segmenting Actions in Velocity Curve Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (4) ![In: 16th International Conference on Pattern Recognition, ICPR 2002, Quebec, Canada, August 11-15, 2002., pp. 170-, 2002, IEEE Computer Society, 0-7695-1695-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Harun Siljak |
Reversible Computation in Wireless Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 208-221, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Pawel Kerntopf, Claudio Moraga, Krzysztof Podlaski, Radomir S. Stankovic |
Research on Reversible Functions Having Component Functions with Specified Properties: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 83-107, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | James Hoey, Ivan Lanese, Naoki Nishida 0001, Irek Ulidowski, Germán Vidal |
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 108-127, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Kuhn 0001, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski |
Reversibility in Chemical Reactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 151-176, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Miralem Mehic, Marcin Niemiec, Harun Siljak, Miroslav Voznák |
Error Reconciliation in Quantum Key Distribution Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 222-236, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski |
Software and Reversible Systems: A Survey of Recent Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 41-59, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Ulrik Pagh Schultz |
Reversible Control of Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 177-186, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal |
Foundations of Reversible Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 1-40, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto |
Towards Choreographic-Based Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 128-150, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück |
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 187-207, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Alwin Zulehner, Robert Wille |
Simulation and Design of Quantum Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Results of the COST Action IC1405 ![In: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp. 60-82, 2020, Springer, 978-3-030-47360-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Gheorghe Stefanescu |
Self-Assembling Interactive Modules: A Research Programme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 231-246, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement - Partial and Total Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 143-154, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Rimvydas Ruksenas, Paolo Masci 0001, Paul Curzon |
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 215-230, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Alessandro Fantechi, Stefania Gnesi |
Refinement of Behavioural Models for Variability Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 155-169, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre |
Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 201-214, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou |
Modeling and Analysis of Component Faults and Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 45-60, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Michael J. Butler, Jean-Raymond Abrial, Richard Banach |
Modelling and Refining Hybrid Systems in Event-B and Rodin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 29-42, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Mats Neovius, Mauno Rönkkö, Marina Waldén |
A Provably Correct Resilience Mediator Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 125-139, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Olaf Owe |
Verifiable Programming of Object-Oriented and Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 61-79, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Mauno Rönkkö |
Modeling Sources for Uncertainty in Environmental Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 3-14, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen |
Mandatory and Potential Choice: Comparing Event-B and STAIRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 15-27, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | |
Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 247-271, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Steve A. Schneider, Helen Treharne, David M. Williams |
Event-B and Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 113-123, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | |
Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 273-283, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Jüri Vain, Leonidas Tsiopoulos, Pontus Boström |
Integrating Refinement-Based Methods for Developing Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 171-185, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu |
Meeting Deadlines, Elastically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 99-111, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Linas Laibinis, Elena Troubitsyna |
A Contract-Based Approach to Ensuring Component Interoperability in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Action Systems to Distributed Systems ![In: From Action Systems to Distributed Systems - The Refinement Approach., pp. 81-96, 2016, Chapman and Hall/CRC, 978-1-4987-0158-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Ignazio Aleo, Paolo Arena, Sebastiano De Fiore, Luca Patanè, Massimo Pollino, Cristina Ventura |
Robotic Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II ![In: Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II, An Insect Brain Computational Model, pp. 177-216, 2014, Springer, 978-3-319-02361-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 28636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|