Sciweavers

1690 search results - page 115 / 338
» Applications of Metric Coinduction
Sort
View
IROS
2006
IEEE
110views Robotics» more  IROS 2006»
14 years 4 months ago
Topological Modelling for Human Augmented Mapping
— Service robots designed for domestic settings need to navigate in an environment that they have to share with their users. Thus, they have to be able to report their current st...
Elin Anna Topp, Henrik I. Christensen
ISLPED
2006
ACM
129views Hardware» more  ISLPED 2006»
14 years 4 months ago
Variation-driven device sizing for minimum energy sub-threshold circuits
Sub-threshold operation is a compelling approach for energyconstrained applications, but increased sensitivity to variation must be mitigated. We explore variability metrics and t...
Joyce Kwong, Anantha P. Chandrakasan
SC
2005
ACM
14 years 4 months ago
Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
Lorin Hochstein, Jeffrey Carver, Forrest Shull, Si...
EVOW
2005
Springer
14 years 4 months ago
Developing Fitness Functions for Pleasant Music: Zipf's Law and Interactive Evolution Systems
Abstract. In domains such as music and visual art, where the quality of an individual often depends on subjective or hard to express concepts, the automating fitness assignment bec...
Bill Z. Manaris, Penousal Machado, Clayton McCaule...
IJCNLP
2005
Springer
14 years 3 months ago
A Machine Learning Approach to Sentence Ordering for Multidocument Summarization and Its Evaluation
Ordering information is a difficult but a important task for natural language generation applications. A wrong order of information not only makes it difficult to understand, but a...
Danushka Bollegala, Naoaki Okazaki, Mitsuru Ishizu...