6047 search results - page 695 / 1210 » Modeling with Extend |
173
click to vote
ISSAC
2005
Springer
16 years 17 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
192
click to vote
PADL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
172
Voted
SP
1997
IEEE
15 years 11 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
163
click to vote
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
The demo will show two highly expressive virtual agents introducing the audience to a traditional Japanese room. The agent models and gestures have been created by a professional ...
168
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
— Few robot tasks require as forceful an interaction with the world as excavation. In order to effectively plan its actions, our robot excavator requires a method that allows it ...