6740 search results - page 1085 / 1348 » Using Classification as a Programming Language |
184
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
145
click to vote
IFIP
2007
Springer
16 years 20 days ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...
151
click to vote
HASKELL
2006
ACM
16 years 15 days ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
166
click to vote
UM
2005
Springer
16 years 2 hour ago
2005
Springer
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...
173
click to vote
EUROSPI
2004
Springer
15 years 12 months ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...