6431 search results - page 407 / 1287 » Model Building by Resolution |
178
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
180
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
We consider blog feed search: identifying relevant blogs for a given topic. An individual’s search behavior often involves a combination of exploratory behavior triggered by sal...
180
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
An issue in utilizing ontology in product information domain is how to make it operational. This requires considering the features to be included in a pragmatic product information...
179
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
We describe an extension of B-splines to surfacesof arbitrary topology, including arbitrary boundaries. The technique inherits many of the properties of B-splines: local control, ...
167
click to vote
FLAIRS
2007
15 years 9 months ago
2007
This paper puts forward a hierarchical approach for categorizing emails with the ME model based on its contents and properties. This approach categorizes emails in a two-phase way...