Sciweavers

30 search results - page 5 / 6
» Equational Reasoning using AC Constraints
Sort
View
IPPS
2007
IEEE
14 years 20 days ago
Determining the Minimum Energy Consumption using Dynamic Voltage and Frequency Scaling
While improving raw performance is of primary interest to most users of high-performance computers, energy consumption also is a critical concern. Some microprocessors allow volta...
Min Yeol Lim, Vincent W. Freeh
EACL
1993
ACL Anthology
13 years 7 months ago
A Tradeoff between Compositionality and Complexity in the Semantics of Dimensional Adjectives
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
Geoffrey Simmons
SCP
1998
163views more  SCP 1998»
13 years 6 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
WSCG
2003
165views more  WSCG 2003»
13 years 7 months ago
Interactive Animation of Cloth Including Self Collision Detection
We describe a system for interactive animation of cloth, which can be used in e-commerce applications, games or even in virtual prototyping systems. In order not to restrict the s...
Arnulph Fuhrmann, Clemens Groß, Volker Lucka...
PEPM
2011
ACM
12 years 9 months ago
Calculating tree navigation with symmetric relational zipper
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
Yuta Ikeda, Susumu Nishimura