Sciweavers

11455 search results - page 1823 / 2291
» The Rayset and Its Applications
Sort
View
DSVIS
2008
Springer
15 years 8 months ago
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System
The design and evaluation of multimodal systems has traditionally been a craft skill. There are some well established heuristics, guidelines and frameworks for assessing multimodal...
Ann Blandford, Paul Curzon, Joanne Hyde, George Pa...
EDBT
2008
ACM
140views Database» more  EDBT 2008»
15 years 8 months ago
Database Servers Tailored to Improve Energy Efficiency
Database software can be tailored for specific application domains and their required functionality, for specific hardware and its characteristics, or for other purposes. This bri...
Goetz Graefe
ER
2008
Springer
91views Database» more  ER 2008»
15 years 8 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
ESOP
2008
Springer
15 years 8 months ago
Cover Algorithms and Their Combination
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
Sumit Gulwani, Madan Musuvathi
ETVC
2008
15 years 8 months ago
Discrete Curvature Flows for Surfaces and 3-Manifolds
Intrinsic curvature flows can be used to design Riemannian metrics by prescribed curvatures. This chapter presents three discrete curvature flow methods that are recently introduce...
Xiaotian Yin, Miao Jin, Feng Luo 0002, Xianfeng Da...
« Prev « First page 1823 / 2291 Last » Next »