3206 search results - page 195 / 642 » How minds can be computational systems |
136
click to vote
SIGCSE
2004
ACM
15 years 12 months ago
2004
ACM
There are a wide variety of ways to present information at the front of a classroom. These include chalk on a blackboard, markers on a whiteboard, pens on transparencies, and comp...
159
click to vote
IPTPS
2004
Springer
15 years 12 months ago
2004
Springer
In the hope of stimulating discussion, we present a heuristic decision tree that designers can use to judge how suitable a P2P solution might be for a particular problem. It is bas...
142
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a system for analyzing human driver alertness. It relies on optical flow and color predicates to robustly track a person’s head and facial features. Our system clas...
178
click to vote
WSC
2004
15 years 8 months ago
2004
Simulation is an essential tool for performance evaluation of many practical systems where planners typically want to know how the system will perform under various parameter sett...
189
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...