2509 search results - page 330 / 502 » Abstract Geometrical Computation and Computable Analysis |
159
click to vote
DSVIS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
196
Voted
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
143
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
This position paper reports the current development stage of project Epos, which aims to deliver, whenever possible automatically, a customized runtime support system for each (hi...
126
Voted
CRYPTO
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...
166
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a method of gait identification based on multiview gait images using an omnidirectional camera. We first transform omnidirectional silhouette images into panor...