Sciweavers

12399 search results - page 2029 / 2480
» Deformable structural models
Sort
View
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 7 months ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
IJRR
2008
73views more  IJRR 2008»
15 years 7 months ago
Optimization of Complex Robot Applications under Real Physical Limitations
This paper deals with minimum time trajectory optimization along a specified path subject to thermal constraints. We point out here that robots are often integrated in complex rob...
Matthieu Guilbert, Luc D. Joly, Pierre-Brice Wiebe...
CGA
2007
15 years 7 months ago
Interactive Illustrative Rendering on Mobile Devices
Illustrative rendering is a widely used visualization technique to display conceptual information, describe problems and give insight to solve them efficiently in science, engine...
Jingshu Huang, Brian Bue, Avin Pattath, David S. E...
COGSCI
2007
79views more  COGSCI 2007»
15 years 7 months ago
Contextualizing Counterintuitiveness: How Context Affects Comprehension and Memorability of Counterintuitive Concepts
A number of anthropologists have argued that religious concepts are minimally counterintuitive and that this gives them mnemic advantages. This paper addresses the question of why...
M. Afzal Upala, Lauren O. Gonce, Ryan D. Tweney, D...
IJFCS
2006
111views more  IJFCS 2006»
15 years 7 months ago
Completeness and realizability: conditions for automatic generation of workflows
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
« Prev « First page 2029 / 2480 Last » Next »