Sciweavers

1677 search results - page 244 / 336
» An Interactive Fur Modeling Technique
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
14 years 22 days ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
NAACL
2007
14 years 18 days ago
A Case For Shorter Queries, and Helping Users Create Them
Information retrieval systems are frequently required to handle long queries. Simply using all terms in the query or relying on the underlying retrieval model to appropriately wei...
Giridhar Kumaran, James Allan
GRAPHICSINTERFACE
2001
14 years 17 days ago
Surface Aging by Impacts
We present a novel aging technique that simulates the deformation of an object caused by repetitive impacts over long periods of time. Our semi-automatic system deteriorates the s...
Eric Paquette, Pierre Poulin, George Drettakis
IJCAI
1997
14 years 16 days ago
Structural Inferences from Massive Datasets
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
Kenneth Yip
CGF
2008
110views more  CGF 2008»
13 years 11 months ago
TimeRadarTrees: Visualizing Dynamic Compound Digraphs
The evolution of dependencies in information hierarchies can be modeled by sequences of compound digraphs with edge weights. In this paper we present a novel approach to visualize...
Michael Burch, Stephan Diehl