Sciweavers

3233 search results - page 22 / 647
» Validation Method for Intelligent Systems
Sort
View
MEMOCODE
2010
IEEE
13 years 5 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...
CIDM
2007
IEEE
14 years 1 months ago
Prediction of Abnormal Behaviors for Intelligent Video Surveillance Systems
–The OBSERVER is a video surveillance system that detects and predicts abnormal behaviors aiming at the intelligent surveillance concept. The system acquires color images from a ...
Duarte Duque, Henrique Santos, Paulo Cortez
ATAL
2003
Springer
14 years 17 days ago
Natural methods for robot task learning: instructive demonstrations, generalization and practice
Among humans, teaching various tasks is a complex process which relies on multiple means for interaction and learning, both on the part of the teacher and of the learner. Used tog...
Monica N. Nicolescu, Maja J. Mataric
CLEF
2007
Springer
14 years 1 months ago
UNED at Answer Validation Exercise 2007
The objective of the Answer Validation Exercise (AVE) 2007 is to develop systems able to decide if the answer to a question is correct or not. Since it is expected that a high per...
Álvaro Rodrigo, Anselmo Peñas, Felis...
TWC
2008
106views more  TWC 2008»
13 years 7 months ago
On a Power Allocation Method for IDMA Systems
A method was proposed in this journal (vol. 6, no. 1, pp. 192-201, 2007), which tackles a power allocation problem for interleave-division multiple-access (IDMA) systems over fadin...
Mark S. K. Lau, Wuyi Yue, Peng Wang