6020 search results - page 230 / 1204 » A New Approach to Model Counting |
140
click to vote
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
158
click to vote
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce an hybrid evolutionary algorithm for computer-aided orchestration. Our current approach to orchestration consists in replicating a target sound with a se...
135
click to vote
APVIS
2006
15 years 6 months ago
2006
Performance and preference measures are commonly used in the assessment of visualization techniques. This is important and useful in understanding differences in effectiveness bet...
122
click to vote
TC
2008
15 years 4 months ago
2008
This paper presents a new coverage formulation addressing the quality of service of sensor networks that cooperatively detect targets traversing a region of interest. The problem o...
130
click to vote
CAGD
1998
15 years 4 months ago
1998
Laguerre geometry provides a simple approach to the design of rational curves and surfaces with rational offsets. These so-called PH curves and PN surfaces can be constructed from...