Sciweavers

925 search results - page 27 / 185
» A Linguistic Theory of Robustness
Sort
View
TAL
2010
Springer
14 years 4 months ago
A Formal Ontology for a Computational Approach of Time and Aspect
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
Aurelien Arena, Jean-Pierre Desclés
EACL
1989
ACL Anthology
14 years 10 months ago
A logical treatment of semi-free word order and bounded discontinuous constituency
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
Mike Reape
ICDE
2007
IEEE
144views Database» more  ICDE 2007»
15 years 4 months ago
Control Theory: a Foundational Technique for Self Managing Databases
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
Sam Lightstone, Maheswaran Surendra, Yixin Diao, S...
HYBRID
1997
Springer
15 years 1 months ago
Robust Timed Automata
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesa...
AUTOMATICA
2006
110views more  AUTOMATICA 2006»
14 years 9 months ago
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
Rafal Goebel, Andrew R. Teel