3495 search results - page 437 / 699 » On the random satisfiable process |
180
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
170
click to vote
EDOC
2000
IEEE
15 years 10 months ago
2000
IEEE
To satisfy the need for a wide range of enterprise modelling choices, it is necessary to have a rich set of processbased and role-based modelling concepts. It is also necessary to...
177
click to vote
EUROGP
2000
Springer
15 years 10 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it provides a solution to an entire category of problems. For example, the fa...
178
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
140
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
The needs of surgeons for computer-assisted systems cannot be satisfied unless their requirements and expectations are known. We determined surgeons' needs for computer-aided ...