20126 search results - page 321 / 4026 » Timed Transition Systems |
133
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
We present a Computer Vision based system that enables multiple people to interact naturally with a large display table using their own bare-hand gestures. The display presents an...
149
click to vote
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
Research on the optimization of Vehicle Routing Problem with Time Windows (VRPTW) is a significant investigation area of ant colony system (ACS). This paper proposes an enhanced AC...
125
Voted
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper presents a framework that enables autonomous agents to dynamically select the mechanism they employ in order to coordinate their inter-related activities. Adop...
157
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
119
click to vote
BC
2002
15 years 4 months ago
2002
Association of a presynaptic spike with a postsynaptic spike can lead to changes in synaptic efficacy that are highly dependent on the relative timing of the preand postsynaptic sp...