11739 search results - page 26 / 2348 » Slideshow: functional presentations |
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
– Borrowing a concept from hydrodynamic analysis, this paper presents stream functions which satisfy Laplace’s equation as a local-minima free method for producing potential-...
TOOLS
1997
IEEE
14 years 2 months ago
1997
IEEE
We describe how to express homomorphic translations with an object-oriented design. This includes a uniform approach to the addition of external functionality to data structures. ...
VMCAI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
DKE
2008
13 years 10 months ago
2008
In this manuscript we present the summarization and categorization subsystems of a complete mechanism that begins with web-page fetching and concludes with representation of the c...
TPHOL
1996
IEEE
14 years 2 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...