3299 search results - page 279 / 660 » A general mathematics of names |
147
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
158
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
166
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...
211
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
153
click to vote
SPW
1999
Springer
15 years 11 months ago
1999
Springer
In the near future, many personal electronic devices will be able to communicate with each other over a short range wireless channel. We investigate the principal security issues f...