Sciweavers

2448 search results - page 408 / 490
» The Octahedron Abstract Domain
Sort
View
AAAI
2000
13 years 10 months ago
Back to the Future for Consistency-Based Trajectory Tracking
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...
James Kurien, P. Pandurang Nayak
AVI
2000
13 years 10 months ago
Generating User Interface Code in a Model Based User Interface Development Environment
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
Paulo Pinheiro da Silva, Tony Griffiths, Norman W....
TREC
2003
13 years 10 months ago
UMBC at TREC 12
Abstract. We present the results of UMBC’s participation in the Web and Novelty tracks. We explored various heuristics-based link analysis approaches to the Topic Distillation ta...
Srikanth Kallurkar, Yongmei Shi, R. Scott Cost, Ch...
COLING
2000
13 years 10 months ago
An ontology of systematic relations for a shared grammar of Slavic
Sharing portions of grammars across languages greatly reduces the costs of multilingual grammar engineering. Related languages share a much wider range of linguistic information t...
Tania Avgustinova, Hans Uszkoreit
ECIS
2000
13 years 10 months ago
Katsir: A Framework for Harvesting Digital Libraries on the Web
Abstract-The information era has brought with it the wellknown problem of 'Information Explosion'. There are many and varied search engines on the Internet but it is stil...
Uri Hanani, Ariel J. Frank