8874 search results - page 79 / 1775 » A New Implementation of Automath |
136
Voted
IBPRIA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In pattern matching based Protein-Protein Interaction Extraction systems, patterns generated manually or automatically exist erroneous and redundancy, which greatly affec...
122
Voted
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper describes the formalization and implementation of an efficient constraint programming framework operating on 3D crystal lattices. The framework is motivated an...
110
click to vote
WMCSA
2000
IEEE
15 years 8 months ago
2000
IEEE
Networked Surfaces are surfaces which provide network connectivity to specially augmented objects, when these objects are physically placed on top of the surface. When an object (...
140
Voted
ICIP
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents an area-filtering algorithm for antialiasing technique of computer graphics images. It can be applied to low-resolution image, which the aliasing effect is mor...
130
click to vote
COMGEO
2006
ACM
15 years 3 months ago
2006
ACM
An algorithm is proposed for the simultaneous computation of all Minkowski functionals (except for the volume) of sets from the convex ring in Rd discretized with respect to a give...