4520 search results - page 799 / 904 » Algebraic Techniques for Timed Systems |
146
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
165
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Searching for an item in a long ordered list is a frequent task when using any kind of computing device (from desktop PCs to mobile phones). This paper explores three different int...
182
click to vote
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
Business rules are operational rules that business organizationsfollow to peq%rm various activities. Over time, business rules evolve and the software that implemented them are al...
200
click to vote
CVPR
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a vision system for the 3-D modelbased tracking of unconstrained human movement. Using image sequences acquired simultaneously from multiple views, we recover the 3-D b...
176
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we develop a computational model of visual adaptation for realistic image synthesis based on psychophysical experiments. The model captures the changes in threshold ...