21430 search results - page 4070 / 4286 » Abstract Effective Models |
124
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
125
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
144
click to vote
ECCV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Assessing the matching error rates of a biometric identification devices is integral to understanding its performance. Here we propose and evaluate several methods for cr...
145
click to vote
COMPGEOM
2001
ACM
15 years 7 months ago
2001
ACM
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...
119
click to vote
PATMOS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...