14190 search results - page 2551 / 2838 » Abstractions for hybrid systems |
202
click to vote
CN
2006
15 years 7 months ago
2006
Abstract. We present a scalable and flexible grouping service based on concast and best-effort single-source multicast. The service assigns participating end systems to specific gr...
224
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract-- Peer-to-peer (P2P) networks have mostly focused on task oriented networking, where networks are constructed for single applications, i.e. file-sharing, DNS caching, etc....
210
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
193
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract-- In this paper we consider the communication problem that involves transmission of correlated sources over broadcast channels. We consider a graph-based framework for thi...
232
click to vote
CVIU
2006
15 years 7 months ago
2006
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...