Sciweavers

17541 search results - page 3310 / 3509
» Complexity in scalable computing
Sort
View
MHCI
2009
Springer
15 years 8 months ago
pieTouch: a direct touch gesture interface for interacting with in-vehicle information systems
Touch-sensitive displays seem like a natural and promising option for dealing with the increasing complexity of current in-vehicle information systems (IVIS), but since they can h...
Ronald Ecker, Verena Broy, Andreas Butz, Alexander...
CONCUR
2001
Springer
15 years 8 months ago
Extended Temporal Logic Revisited
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
CP
2001
Springer
15 years 8 months ago
Random 3-SAT and BDDs: The Plot Thickens Further
Abstract. This paper contains an experimental study of the impact of the construction strategy of reduced, ordered binary decision diagrams (ROBDDs) on the average-case computation...
Alfonso San Miguel Aguirre, Moshe Y. Vardi
SIGGRAPH
2010
ACM
15 years 8 months ago
Toward evaluating material design interface paradigms for novice users
Material design is the process by which artists specify the reflectance properties of a surface, such as its diffuse color and specular roughness. We present a user study to eval...
William B. Kerr, Fabio Pellacini
ICCS
2001
Springer
15 years 8 months ago
Inclusion-Based Approximate Reasoning
Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks s...
Chris Cornelis, Etienne E. Kerre
« Prev « First page 3310 / 3509 Last » Next »