|
|
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. |
Int. J. Comput. Vis. |
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. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
action control, logic |
32 | Harald Fecher, Mila E. Majster-Cederbaum |
Action Refinement Applied to Late Decisions. |
Formal Aspects Comput. |
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. |
ACM Multimedia |
2006 |
DBLP DOI BibTeX RDF |
object tracking, semantic analysis, action recognition, motion representation |
32 | Alwyn Barry |
The stability of long action chains in XCS. |
Soft Comput. |
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. |
AAMAS |
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. |
ICECCS |
2001 |
DBLP DOI BibTeX RDF |
timed event structure, timed process algebra, action refinement, true concurrency |
32 | Jane E. Sinclair |
Action Systems for Security Specification. |
CSFW |
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. |
IEEE Trans. Software Eng. |
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. |
SAB |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Pascal Haazebroek, Bernhard Hommel |
Towards a Computational Model of Perception and Action in Human Computer Interaction. |
HCI (11) |
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. |
BVAI |
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. |
ISCNZ |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Circuits Syst. Video Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga |
Logic Programming for Agents. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Wayne Wobcke |
Agency and the Logic of Ability. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Paolo Traverso |
Planning Under Uncertainty and Its Applications. |
Reasoning, Action and Interaction in AI Theories and Systems |
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. |
ICUIMC |
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. |
HRI |
2007 |
DBLP DOI BibTeX RDF |
markerless motion capture, human-robot interaction, action recognition, human tracking |
29 | David A. Watt |
Action Semantics in Retrospect. |
Semantics and Algebraic Specification |
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. |
PAKDD |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Imran N. Junejo, Emilie Dexter, Ivan Laptev, Patrick Pérez |
Cross-View Action Recognition from Temporal Self-similarities. |
ECCV (2) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Isabelle Perseil, Laurent Pautet |
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Agnieszka Dardzinska, Zbigniew W. Ras |
Cooperative Discovery of Interesting Action Rules. |
FQAS |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Zbigniew W. Ras, Agnieszka Dardzinska |
Action Rules Discovery, a New Simplified Strategy. |
ISMIS |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Volker Krüger |
Recognizing Action Primitives in Complex Actions Using Hidden Markov Models. |
ISVC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Uwe V. Riss |
Knowledge, Action, and Context: Impact on Knowledge Management. |
Wissensmanagement (LNCS Volume) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Alper Yilmaz, Mubarak Shah |
Actions Sketch: A Novel Action Representation. |
CVPR (1) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Christel Kemke |
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases. |
ISMIS |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Ozan Kahramanogullari, Michael Thielscher |
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Christel Kemke |
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases. |
AI |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Ashish Kapoor, Yuan (Alan) Qi, Rosalind W. Picard |
Fully Automatic Upper Facial Action Recognition. |
AMFG |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Renwei Li, Luís Moniz Pereira, Verónica Dahl |
Refining Action Theories through Abductive Logic Programming. |
LPKR |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Robin Milner |
Higher-Order Action Calculi. |
CSL |
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. |
Auton. Robots |
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. |
RTCSA |
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. |
HICSS (3) |
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. |
CHI Extended Abstracts |
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. |
MIRAGE |
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. |
ICEC |
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. |
CAIP |
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. |
WWW |
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. |
SAB |
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. |
Inf. Syst. E Bus. Manag. |
2007 |
DBLP DOI BibTeX RDF |
IOS use, Competitive action, Competitive dynamics, IT measures |
28 | Zachary Ernst, Sara Rachel Chant |
Collective Action as Individual Choice. |
Stud Logica |
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. |
ECAL |
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. |
ICONIP (1) |
2007 |
DBLP DOI BibTeX RDF |
visual perception, Grasping, action |
28 | Thomas Dowad |
PAWS: Personal Action Wireless Sensor. |
Pers. Ubiquitous Comput. |
2006 |
DBLP DOI BibTeX RDF |
Home control, Wireless, Accelerometer, Gestural control, Human action |
28 | Vasu Parameswaran, Rama Chellappa |
View Invariance for Human Action Recognition. |
Int. J. Comput. Vis. |
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. |
AMDO |
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. |
AAMAS |
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. |
OZCHI |
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. |
J. Intell. Robotic Syst. |
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. |
AI Soc. |
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. |
AI Soc. |
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. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Rely/guarantee, Refinement, Compositionality, Action systems |
28 | Cen Rao, Mubarak Shah |
View-Invariant Representation and Learning of Human Action. |
IEEE Workshop on Detection and Recognition of Events in Video |
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. |
FG |
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. |
CVPR |
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. |
RTCSA |
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. |
CVPR |
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. |
CVPR |
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. |
AREA |
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. |
ACM Multimedia |
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. |
RoboCup |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Tomoharu Nakashima, Masahiro Takatani, Masayo Udo, Hisao Ishibuchi |
An evolutionary approach for strategy learning in RoboCup soccer. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Yasuhiko Kitamura, Takuya Murao |
Risk Management Methods for Speculative Actions. |
AAMAS |
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. |
IbPRIA |
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. |
ICANN |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Tanveer Fathima Syeda-Mahmood |
Segmenting Actions in Velocity Curve Space. |
ICPR (4) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Harun Siljak |
Reversible Computation in Wireless Communications. |
Selected Results of the COST Action IC1405 |
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. |
Selected Results of the COST Action IC1405 |
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. |
Selected Results of the COST Action IC1405 |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Kuhn 0001, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski |
Reversibility in Chemical Reactions. |
Selected Results of the COST Action IC1405 |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Miralem Mehic, Marcin Niemiec, Harun Siljak, Miroslav Voznák |
Error Reconciliation in Quantum Key Distribution Protocols. |
Selected Results of the COST Action IC1405 |
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. |
Selected Results of the COST Action IC1405 |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Ulrik Pagh Schultz |
Reversible Control of Robots. |
Selected Results of the COST Action IC1405 |
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. |
Selected Results of the COST Action IC1405 |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto |
Towards Choreographic-Based Monitoring. |
Selected Results of the COST Action IC1405 |
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. |
Selected Results of the COST Action IC1405 |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Alwin Zulehner, Robert Wille |
Simulation and Design of Quantum Circuits. |
Selected Results of the COST Action IC1405 |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Gheorghe Stefanescu |
Self-Assembling Interactive Modules: A Research Programme. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement - Partial and Total Frameworks. |
From Action Systems to Distributed Systems |
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. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Alessandro Fantechi, Stefania Gnesi |
Refinement of Behavioural Models for Variability Description. |
From Action Systems to Distributed Systems |
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. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou |
Modeling and Analysis of Component Faults and Reliability. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Michael J. Butler, Jean-Raymond Abrial, Richard Banach |
Modelling and Refining Hybrid Systems in Event-B and Rodin. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Mats Neovius, Mauno Rönkkö, Marina Waldén |
A Provably Correct Resilience Mediator Pattern. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Olaf Owe |
Verifiable Programming of Object-Oriented and Distributed Systems. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Mauno Rönkkö |
Modeling Sources for Uncertainty in Environmental Monitoring. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen |
Mandatory and Potential Choice: Comparing Event-B and STAIRS. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | |
Bibliography. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Steve A. Schneider, Helen Treharne, David M. Williams |
Event-B and Linear Temporal Logic. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | |
Index. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Jüri Vain, Leonidas Tsiopoulos, Pontus Boström |
Integrating Refinement-Based Methods for Developing Timed Systems. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu |
Meeting Deadlines, Elastically. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Linas Laibinis, Elena Troubitsyna |
A Contract-Based Approach to Ensuring Component Interoperability in Event-B. |
From Action Systems to Distributed Systems |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Ignazio Aleo, Paolo Arena, Sebastiano De Fiore, Luca Patanè, Massimo Pollino, Cristina Ventura |
Robotic Platforms. |
Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II |
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][ >>] |
|