4099 search results - page 446 / 820 » A Framework for Interactive Proof |
196
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected 3D objects and has been used in many app...
180
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
300
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
281
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...
179
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...