2783 search results - page 282 / 557 » The Nature Of Near-Synonymic Relations |
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...
130
click to vote
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
112
click to vote
VLSM
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we describe a new framework for the tracking of closed curves described through implicit surface modeling. The approach proposed here enables a continuous tracking al...
143
click to vote
APWEB
2004
Springer
15 years 7 months ago
2004
Springer
XML is becoming the de-facto standard for exchanging information in distributed applications and services. This has resulted in the development of a large number of XML documents w...
COCO
2004
Springer
15 years 7 months ago
2004
Springer
An NP search problem is the problems of finding a witness to the given NP predicate, and TFNP is the class of total NP search problems. TFNP contains a number of subclasses conta...