2314 search results - page 309 / 463 » What is a Model |
104
click to vote
WDAG
1994
Springer
15 years 8 months ago
1994
Springer
We give an optimal, wait-free implementation of an increment register. An increment register is a concurrent object consisting of an integer-valued register with an increment oper...
139
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
191
click to vote
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, the recognition of the visual focus of attention (VFOA) of meeting participants (as defined by their eye gaze direction) from their head pose is addressed. To this ...
149
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
133
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...