22698 search results - page 3899 / 4540 » Modeling in Software Engineering |
256
Voted
JCDL
2011
ACM
14 years 10 months ago
2011
ACM
Serendipity occurs when one finds an interesting discovery while searching for something else. In digital libraries, recommendation engines are particularly well-suited for seren...
219
Voted
ECCV
1998
Springer
16 years 9 months ago
1998
Springer
Abstract. We show that we can e ectively t arbitrarily complex animation models to noisy image data. Our approach is based on leastsquares adjustment using of a set of progressivel...
289
Voted
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
159
click to vote
WWW
2005
ACM
16 years 8 months ago
2005
ACM
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions. Cate...
313
click to vote
CC
2009
Springer
16 years 8 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...