2407 search results - page 450 / 482 » A Tool for Abstraction in Model Checking |
ICAIL
1995
ACM
15 years 1 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...
108
Voted
ICRA
1995
IEEE
15 years 1 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 ...
VLDB
1991
ACM
15 years 1 months ago
1991
ACM
Queries in object-oriented datab;Lqcs are formulated against a class and retrieve instnnccls of the class sat,isfying a certain predicate on the att,riblltes of the class. The pre...
ECMDAFA
2009
Springer
15 years 29 days ago
2009
Springer
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...
70
Voted
BILDMED
2007
14 years 11 months ago
2007
Abstract. The problem of repositioning mobile C-arms to defined target locations during surgical procedures currently requires not only time, but also skill and additional radiati...