6740 search results - page 1254 / 1348 » An s -Hamiltonian Line Graph Problem |
147
Voted
SIGGRAPH
1994
ACM
15 years 7 months ago
1994
ACM
This paper describes the design and implementation of IRIS Performer, a toolkit for visual simulation, virtual reality, and other real-time 3D graphics applications. The principal...
175
Voted
SSD
1993
Springer
15 years 7 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
145
Voted
IPMU
1992
Springer
15 years 7 months ago
1992
Springer
This paper deals with the problem of inference under uncertain information. This is a generalization of a paper of Cardona et al. (1991a) where rules were not allowed to contain n...
129
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...
108
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...