Search results for "actions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Tran Cao Son, Phan Huy Tu, Chitta Baral	Planning with Sensing Actions and Incomplete Information Using Logic Programming.	LPNMR	2004	DBLP DOI BibTeX RDF
17	Marian Stewart Bartlett, Gwen Littlewort, Claudia Lainscsek, Ian R. Fasel, Javier R. Movellan	Machine learning methods for fully automatic recognition of facial expressions and facial actions.	SMC (1)	2004	DBLP DOI BibTeX RDF
17	Md. Abdus Samad Kamal, Junichi Murata	Reinforcement learning for high-dimensional problems with symmetrical actions.	SMC (7)	2004	DBLP DOI BibTeX RDF
17	Koji Yatani, Koiti Tamura, Masanori Sugimoto, Hiromichi Hashizume	Information Transfer Techniques for Mobile Devices by "Toss" and "Swing" Actions.	WMCSA	2004	DBLP DOI BibTeX RDF
17	Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle	Causality analysis of synchronous programs with delayed actions.	CASES	2004	DBLP DOI BibTeX RDF	causality, synchronous languages, ternary logic, fixpoints
17	Juliano J. Bazzo, Marcus V. Lamar	Recognizing Facial Actions Using Gabor Wavelets with Neutral Face Average Difference.	FGR	2004	DBLP DOI BibTeX RDF
17	Jake K. Aggarwal, Sangho Park	Human Motion: Modeling and Recognition of Actions and Interactions.	3DPVT	2004	DBLP DOI BibTeX RDF
17	Charles C. Kemp	Duo: A Wearable System that Learns about Everyday Objects and Actions.	ISWC	2004	DBLP DOI BibTeX RDF
17	Giacomo Bonanno	Memory of Past Beliefs and Actions.	Stud Logica	2003	DBLP DOI BibTeX RDF	temporal logic, memory, action, epistemic logic, recall
17	Ed Lassettre, David W. Coleman, Yixin Diao, Steve Froehlich, Joseph L. Hellerstein, Lawrence S. Hsiung, Todd W. Mummert, Mukund Raghavachari, Geoffrey Parker, Lance Russell, Maheswaran Surendra, Veronica Tseng, Noshir Wadia, Pery Ye	Dynamic Surge Protection: An Approach to Handling Unexpected Workload Surges with Resource Actions that Have Lead Times.	DSOM	2003	DBLP DOI BibTeX RDF
17	Ramón P. Otero	Induction of the Effects of Actions by Monotonic Methods.	ILP	2003	DBLP DOI BibTeX RDF
17	Avelino F. Zorzo, Panayiotis Periorellis, Alexander B. Romanovsky	Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience.	WORDS	2003	DBLP DOI BibTeX RDF
17	Tanveer Fathima Syeda-Mahmood	Segmenting Actions in Velocity Curve Space.	ICPR (4)	2002	DBLP DOI BibTeX RDF
17	Kagan Tumer, Adrian K. Agogino, David H. Wolpert	Learning sequences of actions in collectives of autonomous agents.	AAMAS	2002	DBLP DOI BibTeX RDF	MAS, reinforcement learning, Q-learning
17	Takeshi Yoshioka, George Herman, JoAnne Yates, Wanda J. Orlikowski	Genre taxonomy: A knowledge repository of communicative actions.	ACM Trans. Inf. Syst.	2001	DBLP DOI BibTeX RDF	genre systems, taxonomy, grammar, Genre, information search and retrieval
17	Carsten Leder, Christian Rehtanz	Electric Power System's Stability Assessment and Online-Provision of Control Actions Using Self-Organizing Maps.	IWANN (2)	2001	DBLP DOI BibTeX RDF
17	R. Charles Murray, Kurt VanLehn	DT Tutor: A Decision-Theoretic, Dynamic Approach for Optimal Selection of Tutorial Actions.	Intelligent Tutoring Systems	2000	DBLP DOI BibTeX RDF
17	Antonio Chella, Marcello Frixione, Salvatore Gaglio	Towards a Conceptual Representation of Actions.	AI*IA	1999	DBLP DOI BibTeX RDF
17	Takayuki Fujinaga, Kousuke Moriwaki, Nobuhiro Inuzuka, Hidenori Itoh	Evolving Cooperative Actions Among Heterogeneous Agents by an Evolutionary Programming Method.	SEAL	1998	DBLP DOI BibTeX RDF
17	Irek Ulidowski, Iain C. C. Phillips	Formats of Ordered SOS Rules with Silent Actions.	TAPSOFT	1997	DBLP DOI BibTeX RDF
17	Yasuo Kuniyoshi, Hirochika Inoue	Indexicality and Dynamic Attention Control in Qualitative Recogniton of Assembly Actions.	ECCV	1992	DBLP DOI BibTeX RDF
17	Rob J. van Glabbeek, Ursula Goltz	Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).	MFCS	1989	DBLP DOI BibTeX RDF
17	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard	Classification of Actions, or Inheritance also for Methods.	ECOOP	1987	DBLP DOI BibTeX RDF
15	Kristina Y. Yordanova	Modelling Human Behaviour Using Partial Order Planning Based on Atomic Action Templates.	Intelligent Environments	2011	DBLP DOI BibTeX RDF	human behaviour modelling, probabilistic modelling, atomic actions, intention recognition
15	Stephan Huckemann, Thomas Hotz, Axel Munk	Intrinsic MANOVA for Riemannian Manifolds with an Application to Kendall's Space of Planar Shapes.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	nonlinear multivariate analysis of variance, orbifolds, orbit spaces, Lie group actions, nonlinear multivariate statistics, intrinsic mean, forest biometry, test, inference, Shape analysis, geodesics, Riemannian manifolds, covariance
15	Marcus Brohede	Simulations within Information Fusion - The Need for Fault Tolerance High Fault Tolerance Degree.	ECBS	2010	DBLP DOI BibTeX RDF	real-world actions, whiteboard architecture, degree of fault tolerance, information fusion, real-time simulation
15	Marcus V. dos Santos, R. C. de Brito, Ho-Hyun Park, Paulo Santos 0001	Logic-based interpretation of geometrically observable changes occurring in dynamic scenes.	Appl. Intell.	2009	DBLP DOI BibTeX RDF	Reasoning about actions and change, Knowledge representation, Logic, Machine vision, Qualitative spatial reasoning
15	Ondrej Rysavý, Jaroslav Ráb	A formal model of composing components: the TLA+ approach.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Composing specifications, Synchronous mode of executions, Temporal logic of actions, Component model, Hierarchical specifications
15	Aaron Spaulding, Jim Blythe, Will Haines, Melinda T. Gervasio	From geek to sleek: integrating task learning tools to support end users in real-world applications.	IUI	2009	DBLP DOI BibTeX RDF	task learning, interaction design, end user programming, programming by demonstration, reasoning about actions
15	Nicoletta Noceti, Barbara Caputo, Claudio Castellini, Luca Baldassarre, Annalisa Barla, Lorenzo Rosasco, Francesca Odone, Giulio Sandini	Towards a Theoretical Framework for Learning Multi-modal Patterns for Embodied Agents.	ICIAP	2009	DBLP DOI BibTeX RDF	visual and sensor-motor patterns, regression theory, objects and actions recognition, multi-modality, behavioural model
15	Natsumi Kitajima, Yuichi Goto, Jingde Cheng	Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control.	HAIS	2009	DBLP DOI BibTeX RDF	Terminal radar control, Anticipatory reasoning-reacting system, Decision-making, Reasoning about actions
15	Phillip G. Bradford, Sunju Park, Michael H. Rothkopf, Heejin Park	Protocol completion incentive problems in cryptographic Vickrey auctions.	Electron. Commer. Res.	2008	DBLP DOI BibTeX RDF	Cryptographic Vickrey actions, Bidder incentives, Yao’s millionaires’ protocol
15	Renate A. Schmidt, Dmitry Tishkovsky	On combinations of propositional dynamic logic and doxastic modal logics.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Combinations of modal logics, Doxastic logic, Belief and knowledge, Epistemic logic, Dynamic logic, Reasoning about actions
15	Peter Mambrey	From participation to e-participation: the German case.	ICEGOV	2008	DBLP DOI BibTeX RDF	communicative actions, e-government, e-participation, digital democracy
15	Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa	A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.	IEA/AIE	2008	DBLP DOI BibTeX RDF	teleo-reactive programs, parallel actions, teleo-reactive program compilation, autonomous agents, control architecture
15	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	run-time management, fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches
15	Sharon S. Dawes	Advancing e-governance: connecting learning and action.	ICEGOV	2007	DBLP DOI BibTeX RDF	learning, innovation, governance, actions, improvement, public sector, public management
15	Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli	Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach.	VOTE-ID	2007	DBLP DOI BibTeX RDF	Procedural Security, Threat Actions, Modeling, e-Voting
15	Mads Vedel Jensen, Marcelle A. Stienstra	Making sense: interactive sculptures as tangible design material.	DPPI	2007	DBLP DOI BibTeX RDF	perceptual-motor skills, tangible interaction, design methods, human actions
15	Amy Loutfi, Silvia Coradeschi	Smell, think and act: A cognitive robot discriminating odours.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Odour discrimination, Mobile olfaction, Planning for perceptual actions, Electronic noses, Anchoring
15	Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith	Domain-dependent knowledge in answer set planning.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	answer set planning, control knowledge, planning, Reasoning about actions, procedural knowledge
15	Frédéric Cuppens, Nora Cuppens-Boulahia, Tony Ramard	Availability Enforcement by Obligations and Aspects Identification.	ARES	2006	DBLP DOI BibTeX RDF	temporized actions, Availability, aspects, obligation
15	Victor Pambuccian	Groups and Plane Geometry.	Stud Logica	2005	DBLP DOI BibTeX RDF	Erlanger Programm, mutually interpretable theories, groups generated by involutions, group actions, line reflections, metric planes
15	Jim Blythe	Task learning by instruction in tailor.	IUI	2005	DBLP DOI BibTeX RDF	task learning by instruction, knowledge acquisition, reasoning about actions
15	Avelino F. Zorzo, Felipe Rech Meneguzzi	An agent model for fault-tolerant systems.	SAC	2005	DBLP DOI BibTeX RDF	CA actions, planning, declarative goals, BDI model
15	Slim Rekhis, Noureddine Boudriga	A formal logic-based language and an automated verification tool for computer forensic investigation.	SAC	2005	DBLP DOI BibTeX RDF	S-TLA+, S-TLC, formal forensic investigation, temporal logic of security actions
15	Elena Troubitsyna	Integrating Safety Analysis into Formal Specification of Dependable Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	failure mode and effect analysis, formal specification, statecharts, actions systems
15	Murdoch Gabbay, Andrew M. Pitts	A New Approach to Abstract Syntax with Variable Binding.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Alpha-conversion, Permutation actions, Set theory, Abstract syntax, Structural induction
15	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky	A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	concurrent and distributed systems, object orientation, Architectural patterns, fault-tolerant software, coordinated atomic actions
15	Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña	Incremental execution of guarded theories.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	agent behavior, situation calculus, reasoning about actions
15	M. R. Darafsheh, Mohammad Reza Pournaki	Computation of the Dimensions of Symmetry Classes of Tensors Associated with the Finite two Dimensional Projective Special Linear Group.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Symmetry classes of tensors, Actions of symmetric groups, Irreducible characters, Projective special linear group
15	Jie Xu 0007, Alexander B. Romanovsky, Brian Randell	Concurrent Exception Handling and Resolution in Distributed Object Systems.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Concurrent exeception handling, exception resolution, nested atomic actions, distributed systems, object-oriented programming
15	Tony Manninen	Rich interaction in networked virtual environments.	ACM Multimedia	2000	DBLP DOI BibTeX RDF	communication, virtual worlds, actions, behaviour
15	Avelino F. Zorzo, Robert J. Stroud	A Distributed Object-Oriented Framework for Dependable Multiparty Interactions.	OOPSLA	1999	DBLP DOI BibTeX RDF	concurrent exception handling, fault tolerance, multiparty interactions, distributed object-oriented systems, coordinated atomic actions
15	Brian Randell	Fault Tolerance in Decentralized Systems.	ISADS	1999	DBLP DOI BibTeX RDF	co-ordinated atomic (CA) actions, Concurrency, dependability, exception handling, error recovery
15	Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo	Formal Development and Validation of Java Dependable Distributed Systems.	ICECCS	1999	DBLP DOI BibTeX RDF	Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions
15	Robert J. Hall 0001	Reactive System Validation using Automated Reasoning over a Fragment Library.	ASE	1997	DBLP DOI BibTeX RDF	reactive system validation, fragment library, intermediate protocol step, protocol outcomes, CS-NC protocol, personal channel agent, eavesdropper actions, protocol message, channel identifiers, correctness, automated reasoning, software libraries, keys
15	Norman Y. Foo, Pavlos Peppas, Yan Zhang 0003	Inductive Properties of States.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	induction, actions, states, automaton, situation calculus
15	Mark C. Little, Santosh K. Shrivastava	Using application specific knowledge for configuring object replicas.	CDS	1996	DBLP DOI BibTeX RDF	object-oriented, replication, dynamic reconfiguration, atomic actions, object dependencies
15	Santosh K. Shrivastava, Daniel L. McCue	Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	fault-tolerantobject systems, distributed programming systems, fault tolerance, distributed systems, distributed computing, fault tolerant computing, distributed processing, replication, modularity, migration, object-oriented methods, distributed environment, object-oriented systems, object-oriented approach, atomic actions, persistent objects, atomic transactions
15	Ashvin Radiya, Robert G. Sargent	A Logic-based Foundation of Discrete Event Modeling and Simulation.	ACM Trans. Model. Comput. Simul.	1994	DBLP DOI BibTeX RDF	logic of events and actions, logic of procedural programming, quantifiers logic, simulation procedure, time flow mechanism, temporal logic, discrete event simulation, logic, model-theoretic semantics, discrete event modeling
15	Kai-Hsiung Chang, Hyungoo Han, William B. Day	A comparison of failure-handling approaches for planning systems - Replanning vs. recovery.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	fault-tolerant, agents, artificial intelligence, robotics, Planning, problem solving, actions, failure recovery
15	Eric Dubois 0001, Philippe Du Bois, Michaël Petit	Elicitating and Formalising Requirements for C.I.M. Information Systems	CAiSE	1993	DBLP DOI BibTeX RDF	O-O requirements engineering, CIM applications, elaboration of the requirements document, agents, formal language, actions
15	Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl	On the Correctness of Orphan Management Algorithms.	J. ACM	1992	DBLP DOI BibTeX RDF	avalon, camelot, input-output automata, recovery, serializability, atomic actions, Argus
15	Ferroudja Cherief	Back and Forth Bisimulations On Prime Event Structures.	PARLE	1992	DBLP DOI BibTeX RDF	Semantics of parallelism, back and forth bisimulations, refinement of actions, Concurrency, bisimulations, Event structures
15	Fred B. Schneider, Bard Bloom, Keith Marzullo	Putting Time into Proof Outlines.	REX Workshop	1991	DBLP DOI BibTeX RDF	concurrent program verification, real-time actions, proof outlines, safety properties, real-time programming, timing properties
15	Susan Darling Urban, Lois M. L. Delcambre	Constraint Analysis: A Design Process for Specifying Operations on Objects.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	object-oriented database design environment, object-oriented database schema, flexible specification, propagation actions, constraint violations, explicit schema constraints, automatic identification, formal specification, semantics, object-oriented programming, object-oriented databases, design process, design process, formal logic, object manipulation, design alternatives, constraint analysis, Horn logic, formal representation, database constraints
15	Charles Consel, Olivier Danvy	From Interpreting to Compiling Binding Times.	ESOP	1990	DBLP DOI BibTeX RDF	partial evaluation, actions, combinators, self-application
15	Santosh K. Shrivastava, Fabio Panzieri	The Design of a Reliable Remote Procedure Call Mechanism.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, local area networks, data communication, Atomic actions
14	Seok-Ho Yoon, Jung-Hwan Shin, Sang-Wook Kim, Sunju Park	Extraction of a latent blog community based on subject.	CIKM	2009	DBLP DOI BibTeX RDF	community extraction, latent communities, blogosphere
14	Verica Krunic, Giampiero Salvi, Alexandre Bernardino, Luis Montesano, José Santos-Victor	Affordance based word-to-meaning association.	ICRA	2009	DBLP DOI BibTeX RDF
14	Takatsugu Kuriyama, Yasuo Kuniyoshi	Co-creation of human-robot interaction rules through response prediction and habituation/dishabituation.	IROS	2009	DBLP DOI BibTeX RDF
14	Pedro M. Shiroma, Maria Fernando Montenegro Campos	CoMutaR: A framework for multi-robot coordination and task allocation.	IROS	2009	DBLP DOI BibTeX RDF
14	Kyung-Goo Doh, David A. Schmidt	An Action Semantics Based on Two Combinators.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
14	Xiao Wu 0004, Chong-Wah Ngo, Jintao Li 0001, Yongdong Zhang 0001	Localizing volumetric motion for action recognition in realistic videos.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	keypoint trajectory, mean-shift clustering, motion subspace learning, realistic videos, human action recognition
14	Christian Müller-Tomfelde	Investigating Temporal-Spatial Characteristics of Mouse and Touch Input.	INTERACT (1)	2009	DBLP DOI BibTeX RDF	Direct and indirect input devices, synchronous co-located collaboration, user study, tabletop
14	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Time and Fairness in a Process Algebra with Non-blocking Reading.	SOFSEM	2009	DBLP DOI BibTeX RDF
14	Yoshio Iwai	A Framework for Suspicious Action Detection with Mixture Distributions of Action Primitives.	PSIVT	2009	DBLP DOI BibTeX RDF
14	Mark Claypool, Kajal T. Claypool	Perspectives, frame rates and resolutions: it's all in the game.	FDG	2009	DBLP DOI BibTeX RDF
14	Ece Kamar, Ya'akov Gal, Barbara J. Grosz	Incorporating helpful behavior into collaborative planning.	AAMAS (2)	2009	DBLP BibTeX RDF	SharedPlans, helpful behavior, multi-agent decision making, collaboration, communication
14	Matt Webster, Grant Malcolm	Formal affordance-based models of computer virus reproduction.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
14	Kaska Porayska-Pomsta, Manolis Mavrikis, Helen Pain	Diagnosing and acting on student affect: the tutor's perspective.	User Model. User Adapt. Interact.	2008	DBLP DOI BibTeX RDF	Tutor feedback, Empirically based hypotheses generation, Computer based tutoring, Machine learning, Computer mediated communication, Affect, Situation modelling
14	Debmalya Biswas, Thomas Gazagnaire, Blaise Genest	Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.	HASE	2008	DBLP DOI BibTeX RDF
14	Keith Irwin, Ting Yu 0001, William H. Winsborough	Avoiding information leakage in security-policy-aware planning.	WPES	2008	DBLP DOI BibTeX RDF	scheduling, policy, obligations
14	Kai Huebner, Mårten Björkman, Babak Rasolzadeh, Martina Schmidt, Danica Kragic	Integration of Visual and Shape Attributes for Object Action Complexes.	ICVS	2008	DBLP DOI BibTeX RDF	Object Action Complexes, Cognitive Vision, Object Attribution
14	Kardelen Hatun, Pinar Duygulu	Pose sentences: A new representation for action recognition using sequence of pose words.	ICPR	2008	DBLP DOI BibTeX RDF
14	Aris Anagnostopoulos, Ravi Kumar 0001, Mohammad Mahdian	Influence and correlation in social networks.	KDD	2008	DBLP DOI BibTeX RDF	social networks, tagging, correlation, social influence
14	Ying Zhang 0012, Gang Huang 0001, Nuyun Zhang, Hong Mei 0001	Editable Replay of IDE-Based Repetitive Tasks.	COMPSAC	2008	DBLP DOI BibTeX RDF	Editable Visual Replay, Repetitive Tasks, IDE, Automatic
14	Taichi Tajika, Tomoko Yonezawa, Noriaki Mitsunaga	Intuitive page-turning interface of e-books on flexible e-paper based on user studies.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	bend sensor, e-book reader, e-paper, page-turning interface
14	Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, Antonella Poggi	Complexity and composition of synthesized web services.	PODS	2008	DBLP DOI BibTeX RDF	data-driven web services, complexity, composition
14	Simone Calderara, Rita Cucchiara, Andrea Prati 0001	Action Signature: A Novel Holistic Representation for Action Recognition.	AVSS	2008	DBLP DOI BibTeX RDF
14	Hugo Wesseling, Matthias Bezold, Nicole Beringer	Automatic Evaluation Tool for Multimodal Dialogue Systems.	PIT	2008	DBLP DOI BibTeX RDF
14	Daniel Weinland, Edmond Boyer	Action recognition using exemplar-based embedding.	CVPR	2008	DBLP DOI BibTeX RDF
14	Yuping Shen, Hassan Foroosh	View-invariant action recognition using fundamental ratios.	CVPR	2008	DBLP DOI BibTeX RDF
14	Pradeep Natarajan, Ram Nevatia	View and scale invariant action recognition using multiview shape-flow models.	CVPR	2008	DBLP DOI BibTeX RDF
14	Harmen Kastenberg, Arend Rensink	Dynamic Partial Order Reduction Using Probe Sets.	CONCUR	2008	DBLP DOI BibTeX RDF
14	Timothée Cour, Chris Jordan, Eleni Miltsakaki, Ben Taskar	Movie/Script: Alignment and Parsing of Video and Text Transcription.	ECCV (4)	2008	DBLP DOI BibTeX RDF
14	Hyejin Oh, Byoungju Choi, Hyuksoo Han, W. Eric Wong	Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments.	QSIC	2008	DBLP DOI BibTeX RDF	SW Testing, TMM, DOE
14	Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai	Irrevocable transactions and their applications.	SPAA	2008	DBLP DOI BibTeX RDF	performance, virtual machines, concurrent programming, software transactional memory
14	Isabelle Perseil, Laurent Pautet	A Concrete Syntax for UML 2.1 Action Semantics Using +CAL.	ICECCS	2008	DBLP DOI BibTeX RDF