Sciweavers

3009 search results - page 371 / 602
» The Expressive Rate of Constraints
Sort
View
FMOODS
2000
15 years 8 months ago
On a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
ANLP
1997
98views more  ANLP 1997»
15 years 8 months ago
Developing a hybrid NP parser
We describe the use of energy function optimisation in very shallow syntactic parsing. The approach can use linguistic rules and corpus-based statistics, so the strengths of both ...
Atro Voutilainen, Lluís Padró
COLING
1996
15 years 8 months ago
Pattern-Based Machine Translation
Pattern-based machine translation systems can be easily customized by adding new patterns. To gain full profits from this character, input of patterns should be both expressive an...
Koichi Takeda
IJCAI
1993
15 years 8 months ago
Fuzzy Causal Simulation in Process Engineering
: This paper presents a causal simulation method for incompletely known dynamic systems in process engineering. The causal model of a process is represented as both a causal networ...
Kouamana Bousson, Louise Travé-Massuy&egrav...
COLING
1992
15 years 7 months ago
A Lexicalist Account of Icelandic Case Marking
Recent theoretical descriptions of the Icelandic case system distinguish between lexicai and structural case. Lexical case is assigned in ttle lexiCOIl, whereas structural case is...
Gosse Bouma