8874 search results - page 218 / 1775 » A New Implementation of Automath |
161
click to vote
DALT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
137
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
124
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Different logic synthesis tasks have been formulated as input encoding problems but restricted to use a minimum number of binary variables. This paper presents an original column ...
134
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
MPICH2 provides a layered architecture for implementing MPI-2. In this paper, we provide a new design for implementing MPI-2 over InfiniBand by extending the MPICH2 ADI3 layer. Ou...
152
click to vote
AVSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We develop a new filter which combines spatially adaptive noise filtering in the wavelet domain and temporal filtering in the signal domain. For spatial filtering, we propose a ne...