1864 search results - page 165 / 373 » Formal topology and domains |
168
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
157
click to vote
DLOG
2008
15 years 8 months ago
2008
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...
283
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
183
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
175
click to vote
LREC
2010
15 years 8 months ago
2010
The task of parse disambiguation has gained in importance over the last decade as the complexity of grammars used in deep linguistic processing has been increasing. In this paper ...