923 search results - page 159 / 185 » Proving the value of formal methods |
115
click to vote
ACMDIS
2000
ACM
15 years 6 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
144
click to vote
ECCV
1994
Springer
15 years 6 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...
134
click to vote
CP
1995
Springer
15 years 5 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
103
click to vote
WSC
2007
15 years 4 months ago
2007
In computational biology there is an increasing need to combine micro and macro views of the system of interest. Therefore, explicit means to describe micro and macro level and th...
124
click to vote
SDM
2007
SIAM
15 years 3 months ago
2007
SIAM
In recent years, privacy preserving data mining has become very important because of the proliferation of large amounts of data on the internet. Many data sets are inherently high...