955 search results - page 153 / 191 » Model Checking Operator Procedures |
86
Voted
CGF
2008
15 years 25 days ago
2008
The astrolabe, an analog computing device, used to be the iconic instrument of astronomers during the Middle Ages. It allowed a multitude of operations of practical astronomy whic...
VC
2008
15 years 18 days ago
2008
In this paper, based on the new definition of high frequency geometric detail for point-sampled surfaces, a new approach for detail manipulation and a detail-preserving editing fra...
116
Voted
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
In this paper, we propose a new PDE-based methodology for deformable surfaces that is capable of automatically evolving its shape to capture the geometric boundary of the data and ...
213
click to vote
ICDE
2002
IEEE
16 years 2 months ago
2002
IEEE
Matching elements of two data schemas or two data instances plays a key role in data warehousing, e-business, or even biochemical applications. In this paper we present a matching...
SCAM
2007
IEEE
15 years 7 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...