3495 search results - page 313 / 699 » On the random satisfiable process |
162
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
The retrieval process in image database systems is inherently different from the retrieval processin traditional (recordoriented)databasesystems.While thelatter canbe consideredan...
249
click to vote
3DPVT
2006
IEEE
15 years 11 months ago
2006
IEEE
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...
205
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
Two important recent trends in military and civilian communications have been the increasing tendency to base operations around an internal network, and the increasing threats to ...
223
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
171
Voted
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
This paper, in the first chapter summarizes the state of the art in SCM, showing the evolution along the last 25 years. Chapter 2 shows the current issues and current research wor...