12981 search results - page 2346 / 2597 » Model Checking (Abstract) |
128
Voted
IDEAS
1997
IEEE
15 years 7 months ago
1997
IEEE
We are concerned by schema evolution in Object Oriented Databases (OODB) that is processed by a modification on the classes on the schema. We present a new categorization of the d...
120
click to vote
ICAIL
1995
ACM
15 years 7 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
149
click to vote
ICDCS
1995
IEEE
15 years 7 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
121
click to vote
ICIP
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract— Motion discontinuities arise when there are occlusions or multiple moving objects in the scene that is imaged. Conventional regularization techniques use smoothness con...
168
Voted
ICRA
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes and evaluates an efficient technique that allows the fast generation of 3D triangular meshes from range images avoiding optimization procedures. Such a tool ...