Sciweavers

615 search results - page 29 / 123
» Completeness of Combinations of Constructor Systems
Sort
View
ICFP
2007
ACM
13 years 11 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
CONCUR
2008
Springer
13 years 9 months ago
Mixing Lossy and Perfect Fifo Channels
Abstract. We consider asynchronous networks of finite-state systems communicating via a combination of reliable and lossy fifo channels. Depending on the topology, the reachability...
Pierre Chambart, Ph. Schnoebelen
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 2 days ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
GECCO
2004
Springer
150views Optimization» more  GECCO 2004»
14 years 29 days ago
Parameter Adaptation within Co-adaptive Learning Classifier Systems
The authors propose a co-adaptive approach to controlling parameters for coevolution-based learning classifier systems. By taking advantage of the on-line incremental learning capa...
Chung-Yuan Huang, Chuen-Tsai Sun
CLIN
2001
13 years 9 months ago
A Named Entity Recognition System for Dutch
We describe a Named Entity Recognition system for Dutch that combines gazetteers, handcrafted rules, and machine learning on the basis of seed material. We used gazetteers and a c...
Fien De Meulder, Walter Daelemans, Véroniqu...