Sciweavers

6740 search results - page 181 / 1348
» Using Classification as a Programming Language
Sort
View
94
Voted
OOPSLA
2005
Springer
15 years 7 months ago
Language constructs for improving reusability in object-oriented software
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
Marko van Dooren, Eric Steegmans
101
Voted
APLAS
2004
ACM
15 years 7 months ago
Region-Based Memory Management for a Dynamically-Typed Language
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa
135
Voted
FOIKS
2006
Springer
15 years 5 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
TREC
2000
15 years 3 months ago
TREC-9 Cross Language, Web and Question-Answering Track Experiments using PIRCS
In TREC-9, we participated in the English-Chinese Cross Language, 10GB Web data ad-hoc retrieval as well as the Question-Answering tracks, all using automatic procedures. All thes...
Kui-Lam Kwok, Laszlo Grunfeld, Norbert Dinstl, M. ...
79
Voted
IBERAMIA
2004
Springer
15 years 7 months ago
Towards CNC Programming Using Haskell
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germ&a...