Sciweavers

3951 search results - page 99 / 791
» Automatic amortized analysis
Sort
View
KBSE
2000
IEEE
15 years 8 months ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
Sarfraz Khurshid, Daniel Jackson
SERP
2003
15 years 5 months ago
Automatic Benchmarking and Optimization of Codes: An Experience with Numerical Kernels
Abstract New algorithms are constantly developed in search of better or faster results. Many variants of code are often tried while searching for the best solution. When the number...
José R. Herrero, Juan J. Navarro
BMVC
2000
15 years 5 months ago
Data and Decision Level Fusion of Temporal Information for Automatic Target Recognition
Automatic Target Recognition (ATR) is a demanding application that requires separation of targets from a noisy background in a sequence of images. In our previous work [5] the bac...
Kieron Messer, Josef Kittler
COLING
2000
15 years 5 months ago
Automatic Acquisition of Domain Knowledge for Information Extraction
In developing an Infbrmation Extraction tIE) system tbr a new class of events or relations, one of the major tasks is identifying the many ways in which these events or relations ...
Roman Yangarber, Ralph Grishman, Pasi Tapanainen, ...
ISIWI
2000
15 years 5 months ago
Automatic Document Classification - A thorough Evaluation of various Methods
(Automatic) document classification is generally defined as content-based assignment of one or more predefined categories to documents. Usually, machine learning, statistical patt...
Christoph Goller, J. Löning, T. Will, W. Wolf...