Sciweavers

1728 search results - page 226 / 346
» Advanced empirical testing
Sort
View
ICLP
2010
Springer
15 years 9 months ago
Methods and Methodologies for Developing Answer-Set Programs - Project Description
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
153
Voted
3DPVT
2004
IEEE
119views Visualization» more  3DPVT 2004»
15 years 9 months ago
Frequency Domain Registration of Computer Tomography Data
This paper presents a new method for registering computer tomography (CT) volumetric data of human bone structures relative to observations made at different times. The system we ...
Marco Andreetto, Guido Maria Cortelazzo, Luca Lucc...
CLEF
2006
Springer
15 years 9 months ago
GeoCLEF 2006: The CLEF 2006 Cross-Language Geographic Information Retrieval Track Overview
After being a pilot track in 2005, GeoCLEF advanced to be a regular track within CLEF 2006. The purpose of GeoCLEF is to test and evaluate cross-language geographic information ret...
Fredric C. Gey, Ray R. Larson, Mark Sanderson, Ker...
ARITH
2001
IEEE
15 years 9 months ago
On-line Arithmetic for Detection in Digital Communication Receivers
This paper demonstrates the advantages of using on-line arithmetic for traditional and advanced detection algorithms for communication systems. Detection is one of the core comput...
Sridhar Rajagopal, Joseph R. Cavallaro
ISN
1995
Springer
15 years 9 months ago
Counting the Costs and Benefits of Metaphor
It has been demonstrated that the use of suitable metaphors in the user service interface can have a dramatic effect on the way in which the user perceives the services, depending ...
Chris Condon, Stephan Keuneke