6431 search results - page 458 / 1287 » Model Building by Resolution |
158
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper we propose a partial parsing model which achieves robust parsing with a large HPSG grammar. Constraint-based precision grammars, like the HPSG grammar we are using f...
174
click to vote
WSC
2001
15 years 8 months ago
2001
This work has for objective building a simulation model to evaluate different alternatives of operation of a projected center for ambulatory surgery. For the construction of the m...
169
click to vote
WSC
1994
15 years 8 months ago
1994
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
151
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
176
click to vote
IJCSA
2006
15 years 6 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...