Sciweavers

1781 search results - page 287 / 357
» Functional Answer Set Programming
Sort
View
ACL
2004
15 years 2 months ago
Balancing Clarity and Efficiency in Typed Feature Logic Through Delaying
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
Gerald Penn
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 1 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
CSDA
2006
91views more  CSDA 2006»
15 years 1 months ago
Model-based cluster and discriminant analysis with the MIXMOD software
The mixmod (mixture modeling) program fits mixture models to a given data set for the purposes of density estimation, clustering or discriminant analysis. A large variety of algor...
Christophe Biernacki, Gilles Celeux, Gérard...
SIMULATION
1998
177views more  SIMULATION 1998»
15 years 1 months ago
Simulation and Planning of an Intermodal Container Terminal
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Mar...
FSTTCS
2010
Springer
14 years 11 months ago
Expressiveness of streaming string transducers
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
Rajeev Alur, Pavol Cerný