935 search results - page 68 / 187 » Stable models and difference logic |
137
click to vote
EPIA
2007
Springer
16 years 11 days ago
2007
Springer
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
134
click to vote
ISCC
2007
IEEE
16 years 14 days ago
2007
IEEE
In this paper, we analyze stability of XCP (eXplicit Control Protocol) in a network with heterogeneous XCP flows (i.e., XCP flows with different propagation delays). Specificall...
172
click to vote
VR
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper describes real-time volumetric haptic and visual algorithms developed to simulate burrhole creation for a Virtual Realitybased craniotomy surgical simulator. A modifie...
167
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...