1604 search results - page 169 / 321 » Development Separation in Lambda-Calculus |
110
click to vote
JIB
2007
15 years 10 days ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
102
Voted
VC
2008
15 years 10 days ago
2008
In real-time animation systems, motion interpolation techniques are widely used for their controllability and efficiency. The techniques sample the parameter space using example mo...
115
click to vote
AI
2000
Springer
15 years 9 days ago
2000
Springer
We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, und...
102
Voted
CLUSTER
2002
IEEE
15 years 8 days ago
2002
IEEE
In this paper, we address the impact of resource limitations on the operation and performance of the broadcasting and multicasting schemes developed for infrastructureless wireless...
103
click to vote
COGSCI
1998
15 years 4 days ago
1998
Conceptual integration—"blending"—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serv...