Sciweavers

71 search results - page 14 / 15
» The Instruction-Set Extension Problem: A Survey
Sort
View
98
Voted
ESA
2007
Springer
176views Algorithms» more  ESA 2007»
15 years 5 months ago
Arrangements in Geometry: Recent Advances and Challenges
We review recent progress in the study of arrangements in computational and combinatorial geometry, and discuss several open problems and areas for further research. In this talk I...
Micha Sharir
91
Voted
MHCI
2007
Springer
15 years 5 months ago
Understanding human-battery interaction on mobile phones
Mobile phone users have to deal with limited battery lifetime through a reciprocal process we call human-battery interaction (HBI). We conducted three user studies in order to und...
Ahmad Rahmati, Angela Qian, Lin Zhong
LOPSTR
2005
Springer
15 years 5 months ago
Declarative Programming with Function Patterns
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
Sergio Antoy, Michael Hanus
CSL
2009
Springer
15 years 3 months ago
Fixed-Point Definability and Polynomial Time
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
Martin Grohe
APVIS
2009
15 years 21 days ago
Toward effective insight management in visual analytics systems
Although significant progress has been made toward effective insight discovery in visual sense making approaches, there is a lack of effective and efficient approaches to manage t...
Yang Chen, Jing Yang, William Ribarsky