8874 search results - page 342 / 1775 » A New Implementation of Automath |
164
click to vote
C3S2E
2008
ACM
15 years 8 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
213
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
162
Voted
HIS
2004
15 years 8 months ago
2004
Zamin artificial life model is designed to be a general purpose environment for researches on evolution of learning methods, living strategies and complex behaviors and is used in ...
217
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper proposes a new front propagation flow for boundary extraction. The proposed framework is inspired by the geodesic active contour model and leads to a paradigm that is r...
286
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
A mediator is a domain-speci c tool to support uniform access to multiple heterogeneous information sources and to abstract and combine data from different but related databases t...