1746 search results - page 295 / 350 » A Constructive Semantics for ALC |
98
Voted
WSC
2004
15 years 2 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
134
Voted
COLING
2000
15 years 2 months ago
2000
In this paper, word sense dismnbiguation (WSD) accuracy achievable by a probabilistic classifier, using very milfimal training sets, is investigated. \Ve made the assuml)tiou that...
109
click to vote
DLOG
1997
15 years 2 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
101
click to vote
ISMB
1997
15 years 2 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
107
click to vote
AAAI
1996
15 years 2 months ago
1996
To explain complex phenomena, an explanation system must be able to select information from a formal representation of domain knowledge, organize the selected information into mul...