Sciweavers

3765 search results - page 143 / 753
» Qualitative Action Systems
Sort
View
EMNLP
2007
15 years 5 months ago
Incremental Dependency Parsing Using Online Learning
We describe an incremental parser that was trained to minimize cost over sentences rather than over individual parsing actions. This is an attempt to use the advantages of the two...
Richard Johansson, Pierre Nugues
ACL
2001
15 years 5 months ago
Automated Parser Construction from a Treebank by means of TBL and ILP
Considering the difficulties inherent in the manual construction of natural language parsers, we have designed and implemented our system GRIND which is capable of learning a sequ...
Miloslav Nepil
IJCAI
2003
15 years 5 months ago
A Planning Algorithm for Predictive State Representations
We address the problem of optimally controlling stochastic environments that are partially observable. The standard method for tackling such problems is to define and solve a Part...
Masoumeh T. Izadi, Doina Precup
FORTE
1990
15 years 5 months ago
A LOTOS Interpreter for Simulating Real-Time Behaviour
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
Colin J. Fidge
CJ
2002
70views more  CJ 2002»
15 years 4 months ago
Formal Methods for Assuring Security of Protocols
l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...
Susan Older, Shiu-Kai Chin