4341 search results - page 709 / 869 » Quantitative Model checking |
192
click to vote
LOGCOM
2010
15 years 4 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
163
click to vote
PUC
2010
15 years 4 months ago
2010
This paper provides a framework for recording, analyzing and modeling of 3 dimensional emotional movements for embodied game applications. To foster embodied interaction, we need i...
147
click to vote
SCHEDULING
2010
15 years 4 months ago
2010
Lean Manufacturing often simply referred to as Lean is a process management philosophy that aims to improve the way in which products are manufactured. It does this through ide...
173
click to vote
SIAMIS
2010
15 years 4 months ago
2010
Digital tomosynthesis imaging is becoming increasingly significant in a variety of medical imaging applications. Tomosynthesis imaging involves the acquisition of a series of proj...
169
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we show how to quantify dependency between the node distributions of wireless networks and the underlying population densities. Furthermore, we show that a quantitati...