Sciweavers

1361 search results - page 211 / 273
» Homing in scale space
Sort
View
FMICS
2009
Springer
15 years 10 months ago
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
Pavel Parizek, Tomás Kalibera
ICB
2007
Springer
159views Biometrics» more  ICB 2007»
15 years 10 months ago
Coarse Iris Classification by Learned Visual Dictionary
Abstract. In state-of-the-art iris recognition systems, the input iris image has to be compared with a large number of templates in database. When the scale of iris database increa...
Xianchao Qiu, Zhenan Sun, Tieniu Tan
ICCS
2007
Springer
15 years 10 months ago
Adaptive Sparse Grid Classification Using Grid Environments
Common techniques tackling the task of classification in data mining employ ansatz functions associated to training data points to fit the data as well as possible. Instead, the fe...
Dirk Pflüger, Ioan Lucian Muntean, Hans-Joach...
ICDAR
2007
IEEE
15 years 10 months ago
On Computing Strength of Evidence for Writer Verification
The problem of Writer Verification is to make a decision of whether or not two handwritten documents are written by the same person. Providing a strength of evidence for any such ...
Harish Srinivasan, S. Kabra, Chen Huang, Sargur N....
FCCM
2004
IEEE
143views VLSI» more  FCCM 2004»
15 years 10 months ago
Reconfigurable Molecular Dynamics Simulator
Current high-performance applications are typically implemented on large-scale general-purpose distributed or multiprocessing systems often based on commodity microprocessors. Fie...
Navid Azizi, Ian Kuon, Aaron Egier, Ahmad Darabiha...