Sciweavers

296 search results - page 56 / 60
» On the roles of functions and objects in system specificatio...
Sort
View
COGSCI
2002
126views more  COGSCI 2002»
13 years 5 months ago
Eye scanpaths during visual imagery reenact those of perception of the same visual scene
Eye movements during mental imagery are not epiphenomenal but assist the process of image generation. Commands to the eyes for each fixation are stored along with the visual repre...
Bruno Laeng, Dinu-Stefan Teodorescu
SMA
2008
ACM
157views Solid Modeling» more  SMA 2008»
13 years 5 months ago
Interactive physically-based shape editing
We present an alternative approach to standard geometric shape editing using physically-based simulation. With our technique, the user can deform complex objects in real-time. The...
Johannes Mezger, Bernhard Thomaszewski, Simon Pabs...
AGENTS
2001
Springer
13 years 10 months ago
Matchmaking for autonomous agents in electronic marketplaces
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...
Daniel Veit, Jörg P. Müller, Martin Schn...
KR
2000
Springer
13 years 9 months ago
Reasoning with Axioms: Theory and Practice
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
Ian Horrocks, Stephan Tobies
CCECE
2006
IEEE
13 years 11 months ago
Survey of Biological High Performance Computing: Algorithms, Implementations and Outlook Research
During recent years there has been an explosive growth of biological data coming from genome projects, proteomics, protein structure determination, and the rapid expansion in digi...
Nasreddine Hireche, J. M. Pierre Langlois, Gabriel...