4513 search results - page 213 / 903 » Modeling with a Sense of Purpose |
143
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
We present a field study of police SWAT teams for the purpose of enabling grounded design of a system to coordinate distributed field robots. The mission-oriented, spatially distr...
203
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
130
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe a technique that allows the extraction of multiple local shift-invariant features from analysis of non-negative data of arbitrary dimensionality. Our app...
157
click to vote
TACAS
2005
Springer
16 years 1 days ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
179
click to vote
GLOBE
2009
Springer
15 years 11 months ago
2009
Springer
P2P systems are increasingly used for efficient, scalable data sharing. Popular applications focus on massive file sharing. However, advanced applications such as online communiti...