1058 search results - page 74 / 212 » Using Different Representations of Synchronous Systems in SA... |
168
click to vote
IEEESCC
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
161
click to vote
JAR
2007
15 years 6 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
170
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
Uncertain and complex environments demand that an agent be able to anticipate the actions of others in order to avoid resource conflicts with them and to realize its goals. Confli...
146
click to vote
ACCV
2006
Springer
16 years 16 days ago
2006
Springer
We developed a system including two modules: the texture analysis module and the texture synthesis module. The analysis module is capable of analyzing an input image and performing...
195
click to vote
WACV
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper we propose an approach to count the number of pedestrians, given a trajectory data set provided by a tracking system. The tracking process itself is treated as a bla...