6978 search results - page 1055 / 1396 » On Proofs in System P |
195
click to vote
GREC
2005
Springer
16 years 11 days ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...
186
Voted
ICCBR
2005
Springer
16 years 11 days ago
2005
Springer
We focus on the problem of selecting the few vehicles in a fleet that are expected to last the longest without failure. The prediction of each vehicle’s remaining life is based o...
169
click to vote
ICFEM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
172
click to vote
ICTCS
2005
Springer
16 years 11 days ago
2005
Springer
We study the effect of laxity, or slack time, on the online scheduling of broadcasts with deadlines. The laxity of a request is defined to be the ratio between its span (differe...
176
click to vote
IJCNLP
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, a resolution system is presented to tackle nominal and pronominal anaphora in biomedical literature by using rich set of syntactic and semantic features. Unlike prev...