Sciweavers

6306 search results - page 111 / 1262
» Space, Time, and the Use of Language
Sort
View
ACL
2010
14 years 8 months ago
Arabic Named Entity Recognition: Using Features Extracted from Noisy Data
Building an accurate Named Entity Recognition (NER) system for languages with complex morphology is a challenging task. In this paper, we present research that explores the featur...
Yassine Benajiba, Imed Zitouni, Mona T. Diab, Paol...
FORTE
2010
14 years 11 months ago
Forgetting the Time in Timed Process Algebra
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
Anton Wijs
SCALESPACE
2007
Springer
15 years 4 months ago
Spatio-temporal Scale-Spaces
Abstract. A family of spatio-temporal scale-spaces suitable for a moving observer is developed. The scale-spaces are required to be time causal for being usable for real time measu...
Daniel Fagerström
ICALP
2010
Springer
14 years 12 months ago
Efficient Evaluation of Nondeterministic Automata Using Factorization Forests
In the first part of the paper, we propose an algorithm which inputs an NFA A and a word a1
Mikolaj Bojanczyk, Pawel Parys
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 2 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist