5196 search results - page 891 / 1040 » State of Application Assessment |
103
click to vote
AIPS
2004
15 years 5 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
151
click to vote
AIA
2006
15 years 5 months ago
2006
Several recent works have used neural networks to discriminate vigilance states in humans from electroencephalographic (EEG) signals. Our study aims at being more exhaustive. It t...
128
click to vote
ASC
2006
15 years 5 months ago
2006
Using artificial neural networks for Electroencephalogram (EEG) signal interpretation is a very challenging tasks for several reasons. The first class of reasons refers to the nat...
135
click to vote
CIC
2006
15 years 5 months ago
2006
Structured peer to peer (P2P) systems organize a large number of nodes in well-defined structures and provide efficient and scalable search functionalities. They have been used as ...
105
click to vote
CSREAEEE
2006
15 years 5 months ago
2006
The business world has been reinventing the human. Employee participative transition projects for management strategies are becoming more important in IT organizations day by day....