3053 search results - page 12 / 611 » Structured Objects: Modeling and Reasoning |
ICSE
2005
IEEE-ACM
14 years 6 months ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
AAAI
2007
13 years 9 months ago
2007
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
GIS
1995
ACM
13 years 10 months ago
1995
ACM
Polygonal objects are characterized by the following well-known parameters: number of vertices, area, perimeter and so on. These parameters describe the data sets that are used in...
ICMCS
2005
IEEE
14 years 10 days ago
2005
IEEE
Along with images and videos, 3D models have raised a certain interest for a number of reasons, including advancements in 3D hardware and software technologies, their ever decreas...
CSL
2007
Springer
14 years 27 days ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...