4340 search results - page 751 / 868 » Formal Methods and Cryptography |
148
click to vote
ICSE
1998
IEEE-ACM
15 years 8 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
133
click to vote
SOFSEM
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
192
click to vote
ATAL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
172
click to vote
ECCV
1994
Springer
15 years 8 months ago
1994
Springer
We present a novel robust methodology for corresponding a dense set of points on an object surface from photometric values, for 3-D stereo computation of depth. We use two stereo p...
124
click to vote
ISSTA
1993
ACM
15 years 8 months ago
1993
ACM
Most of the effort that goes into improving the quality of software paradoxically does not lead to quantitative, measurable quality. Software developers and quality-assurance orga...