5754 search results - page 677 / 1151 » Multi-class Model M |
217
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...
191
click to vote
PADS
1997
ACM
15 years 11 months ago
1997
ACM
This paper is a reminder of the danger of allowing \risk" when synchronizing a parallel discrete-event simulation: a simulation code that runs correctly on a serial machine m...
179
click to vote
WDAG
1989
Springer
15 years 11 months ago
1989
Springer
We focus on unreliable asynchronous shared memory model which support only atomic read and write operations. For such a model we provide a necessary condition for the solvability ...
198
click to vote
ICCD
1995
IEEE
15 years 11 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
207
click to vote
NIPS
2004
15 years 8 months ago
2004
Multiple realizations of continuous-valued time series from a stochastic process often contain systematic variations in rate and amplitude. To leverage the information contained i...