6608 search results - page 968 / 1322 » On the Completeness of Model Checking |
157
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
212
click to vote
KR
1994
Springer
15 years 11 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
198
click to vote
PODS
1993
ACM
15 years 11 months ago
1993
ACM
In this paper we consider the problem of using disk blocks efficiently in searching graphs that are too large to fit in internal memory. Our model allows a vertex to be represented...
156
click to vote
ARC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a methodology for the design of a reconfigurable computing system applied to a complex problem in molecular Biology: the protein folding problem. An e...
165
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a technique for the representation of the 2D frontal view of faces, based on Catmull-Rom splines. It takes advantage of the a priori knowledge about the face s...