3808 search results - page 188 / 762 » Artificial Intelligence: A Modern Approach |
202
click to vote
AIME
2005
Springer
16 years 4 days ago
2005
Springer
We have developed an algorithm for triaging acute pediatric abdominal pain in the Emergency Department using the discovery-driven approach. This algorithm is embedded into the MET-...
186
click to vote
AIME
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The paper deals with the integrated use of Information Visualization techniques and clustering algorithms to analyze Magnetic Resonance Imaging (MRI) data sets. The paper...
149
click to vote
EVOW
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Evolutionary algorithms are powerful tools in search and optimization tasks with several applications in complex engineering problems. However, setting all associated par...
177
click to vote
AISC
2004
Springer
15 years 12 months ago
2004
Springer
The equality logic with uninterpreted functions (EUF) has been proposed for processor verification. A procedure for proving satisfiability of formulas in this logic is introduced...
174
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents an ontology-based approach for web querying, using semantic metadata. We propose a query language based on ontologies and emphasize its ability to express appro...