Sciweavers

6102 search results - page 928 / 1221
» Generating Optimizing Specializers
Sort
View
VLDB
2005
ACM
93views Database» more  VLDB 2005»
16 years 8 days ago
Indexing Mixed Types for Approximate Retrieval
In various applications such as data cleansing, being able to retrieve categorical or numerical attributes based on notions of approximate match (e.g., edit distance, numerical di...
Liang Jin, Nick Koudas, Chen Li, Anthony K. H. Tun...
XPU
2005
Springer
16 years 8 days ago
Agile Methods for Embedded Systems
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
Dirk Wilking
AH
2004
Springer
16 years 6 days ago
Adaptive Navigation for Self-assessment Quizzes
Web-based parameterized quizzes provide teachers and students with several advantages as the technology for self-assessment. However, the effect of these advantages is strongly red...
Sergey A. Sosnovsky
GI
2004
Springer
16 years 5 days ago
Towards Using the Full Human Potential in Games and Virtual Environments
: Humans have complex sensory and control capabilities. Only a few are used in standard games and virtual environments. Examples of games using interfaces beyond mouse, keyboard an...
Steffi Beckhaus
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
16 years 5 days ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil