6608 search results - page 1129 / 1322 » On the Completeness of Model Checking |
148
Voted
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper a writer-independent on-line handwriting recognition system is described comparing the influence of handwriting normalization and adaptation techniques on the recogn...
214
click to vote
GIS
2003
ACM
16 years 5 months ago
2003
ACM
We present a technique for creating a digital elevation model (DEM) from grid-based contour data. The method computes new, intermediate contours in between existing isolines. Thes...
116
Voted
DAC
1998
ACM
16 years 5 months ago
1998
ACM
In this paper we present a statistical method for estimating the maximum power consumption in VLSI circuits. The method is based on the theory of extreme order statistics applied ...
125
Voted
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Conventional global routing minimizes total wire length and congestion. Experiments using large industrial benchmark circuits show that up to 24% of nets in such routing solutions...
111
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. We perform discriminative analysis of brain structures using morphometric information. Spherical harmonics technique and point distribution model are used for shape descr...