7890 search results - page 1236 / 1578 » The MathSAT 3 System |
174
click to vote
ASSETS
2006
ACM
16 years 22 days ago
2006
ACM
This work is a part of an ongoing project that focuses on potential applications of an interactive system that helps children with autism. Autism is classified as a neurodevelopm...
177
click to vote
ACSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
202
click to vote
CLEF
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we describe UNED’s participation in the iCLEF 2005 track. We have compared two strategies for finding an answer using an interactive question answering system: i...
194
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
170
click to vote
EMSOFT
2004
Springer
16 years 5 days ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...