Sciweavers

3677 search results - page 469 / 736
» Is a probabilistic modeling
Sort
View
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 10 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
CIKM
2006
Springer
15 years 10 months ago
Matching directories and OWL ontologies with AROMA
This paper presents a simple and adaptable matching method dealing with web directories, catalogs and OWL ontologies. By using a well-known Knowledge Discovery in Databases model,...
Jérôme David, Fabrice Guillet, Henri ...
BMVC
2002
15 years 9 months ago
Estimating Lighting Direction and Classifying Textures
The appearance of a rough surface is affected by the direction from which it is lit and texture classifiers should account for this. We propose a classifier that is robust to ligh...
Mike J. Chantler, Ged McGunnigle, A. Penirschke, M...
ACL
2006
15 years 8 months ago
Guessing Parts-of-Speech of Unknown Words Using Global Information
In this paper, we present a method for guessing POS tags of unknown words using local and global information. Although many existing methods use only local information (i.e. limit...
Tetsuji Nakagawa, Yuji Matsumoto
NIPS
2001
15 years 8 months ago
Optimising Synchronisation Times for Mobile Devices
With the increasing number of users of mobile computing devices (e.g. personal digital assistants) and the advent of third generation mobile phones, wireless communications are be...
Neil D. Lawrence, Antony I. T. Rowstron, Christoph...