4385 search results - page 231 / 877 » Abstraction for Concurrent Objects |
ICDCS
2010
IEEE
2010
IEEE
Link-Centric Probabilistic Coverage Model for Transceiver-Free Object Detection in Wireless Networks
15 years 23 days ago
Abstract--Sensing coverage is essential for most applications in wireless networks. In traditional coverage problem study, the disk coverage model has been widely applied because o...
103
click to vote
SIGADA
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
TKDE
2002
14 years 11 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
121
click to vote
CADE
2001
Springer
16 years 2 hour ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
147
click to vote
ICVS
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We propose an original bayesian approach to recognize human behaviors from video streams. Mobile objects and their visual features are computed by a vision module. Then, ...