2673 search results - page 196 / 535 » Guided Static Analysis |
132
Voted
ICDS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...
133
click to vote
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
In possibility theory, the degree of inconsistency is commonly used to measure the level of conflict in information from multiple sources after merging, especially conjunctive merg...
124
click to vote
ITP
2010
15 years 8 months ago
2010
Abstract. Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like ...
131
click to vote
LREC
2010
15 years 6 months ago
2010
Lexical substitution is the task of finding a replacement for a target word in a sentence so as to preserve, as closely as possible, the meaning of the original sentence. It has b...
142
Voted
GRAPHICSINTERFACE
2000
15 years 6 months ago
2000
With the advent of image based modeling techniques, it becomes easier to apply textures extracted from reality onto virtual worlds. Many repetitive patterns (structural textures) ...