3013 search results - page 98 / 603 » Context-Oriented Domain Analysis |
106
Voted
ICLP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
108
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
113
Voted
ICIP
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper proposes a new robust 3-D object blind watermarking method using constraints in the spectral domain. Mesh watermarking in spectral domain has the property of spreading ...
111
click to vote
SAS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
100
Voted
IJSWIS
2006
15 years 20 days ago
2006
In this article, an approach to semantic image analysis is presented. Under the proposed approach, ontologiesareusedtocapturegeneral,spatial,andcontextualknowledgeofadomain,andage...