4902 search results - page 181 / 981 » Structures, Semantics and Statistics |
111
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
120
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
122
click to vote
ECAL
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes the simulation of a foraging agent in an environment with a simple ecological structure, alternatively using one of three different control systems with varyi...
136
click to vote
COLING
1996
15 years 5 months ago
1996
The paper describes a system which uses packed parser output directly to build semantic representations. More specifically, the system takes as input Packed Shared Forests in the ...
122
click to vote
IJAR
2011
14 years 11 months ago
2011
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...