Sciweavers

1965 search results - page 96 / 393
» On the analysis of interacting pushdown systems
Sort
View
HICSS
2008
IEEE
119views Biometrics» more  HICSS 2008»
14 years 3 months ago
A Value Network Model for Strategic Analysis
This paper describes a new framework for modeling value network of inter-organization interactions. We propose a set of building blocks elements of the model made of economic enti...
Alain Biem, Nathan Caswell
ICRA
2002
IEEE
181views Robotics» more  ICRA 2002»
14 years 1 months ago
The BlueDRAGON - A System for Measuring the Kinematics and the Dynamics of Minimally Invasive Surgical Tools In-Vivo
Minimally invasive surgery (MIS) involves a multidimensional series of tasks requiring a synthesis between visual information and the kinematics and dynamics of the surgical tools...
Jacob Rosen, Jeffrey D. Brown, Lily Chang, Marco B...
TRECVID
2008
13 years 10 months ago
IBM Research TRECVID-2008 Video Retrieval System
In this paper, we describe the IBM Research system for indexing, analysis, and retrieval of video as applied to the TREC-2008 video retrieval benchmark. This year, focus of the sy...
Apostol Natsev, John R. Smith, Jelena Tesic, Lexin...
DALT
2004
Springer
14 years 2 months ago
A Lightweight Coordination Calculus for Agent Systems
The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying soci...
David Robertson
RECOMB
2012
Springer
11 years 11 months ago
Reconstructing Boolean Models of Signaling
Abstract. Since the first emergence of protein-protein interaction networks, more than a decade ago, they have been viewed as static scaffolds of the signaling-regulatory events ...
Roded Sharan, Richard M. Karp