2364 search results - page 313 / 473 » An Engine for Computing Well-Founded Models |
140
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
On the Web of Data, entities are often interconnected in a way similar to web documents. Previous works have shown how PageRank can be adapted to achieve entity ranking. In this pa...
141
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
131
click to vote
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
159
Voted
SC
1995
ACM
15 years 8 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
132
Voted
SIGGRAPH
1991
ACM
15 years 8 months ago
1991
ACM
The finite element method is applied to generate primitives that build continuous deformable shapes designed to support a new free-form modeling paradigm. The primitives autonomou...