4480 search results - page 198 / 896 » Prototyping Completion with Constraints Using Computational ... |
148
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...
233
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper focuses on the assignment of discrete points among K robots and determining the order in which the points should be processed by the robots, in the presence of geometric...
173
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
211
click to vote
PDPTA
1996
15 years 7 months ago
1996
An important research topic in image processing is stereo vision. The objective is to compute a 3-dimensional representation of some scenery from two 2-dimensional digital images....
166
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...