2364 search results - page 145 / 473 » An Engine for Computing Well-Founded Models |
133
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
121
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Inconsistent contexts are death-wounds which usually result in contextaware applications' incongruous behaviors and users' perplexed feelings, therefore the ben...
141
click to vote
FSTTCS
1995
Springer
15 years 8 months ago
1995
Springer
Karp and Zhang developed a general randomized parallel algorithm for solving branch and bound problems. They showed that with high probability their algorithm attained optimal spe...
137
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Human geospatial activities often involves the use of geographic information in mobile environment where the context of technology use is dynamic, complex, and unstable, creating ...
146
click to vote
SI3D
2009
ACM
15 years 11 months ago
2009
ACM
We present an extension of recently developed Loop and Schaefer’s approximation of Catmull-Clark surfaces (ACC) for surfaces with creases and corners which are essential for mos...