67 search results - page 9 / 14 » Positive Grammar Checking: A Finite State Approach |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— In this paper, we propose a deformable-modeldriven method to recognize the state of hanging clothes using three-dimensional (3D) observed data. For the task to pick up ...
EUMAS
2006
13 years 9 months ago
2006
To investigate the interdependencies existing among deontic positions (like powers and obligations) and the ontology defined by an institution, we have proposed to model instituti...
ANLP
2000
13 years 8 months ago
2000
We present a divide-and-conquer strategy based on finite state technology for shallow parsing of realworld German texts. In a first phase only the topological structure of a sente...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
Trusting a computer for a security-sensitive task (such as checking email or banking online) requires the user to know something about the computer’s state. We examine research ...