Sciweavers

887 search results - page 75 / 178
» Representing Systems with Hidden State
Sort
View
RIAO
2000
15 years 5 months ago
An Intelligent Text Extraction and Navigation System
We present sppc, a high-performance system for intelligent text extraction and navigation from German free text documents. sppc consists of a set of domainindependent shallow core...
Jakub Piskorski, Günter Neumann
DEBS
2003
ACM
15 years 9 months ago
Relational subscription middleware for Internet-scale publish-subscribe
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
Yuhui Jin, Robert E. Strom
CAV
2004
Springer
93views Hardware» more  CAV 2004»
15 years 9 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
WSC
2008
15 years 6 months ago
A simulation model for intensive piglet production systems
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
Lluis Miguel Pla Aragones, Virginia Flores Marias,...
DAGSTUHL
2000
15 years 5 months ago
Product Form Queueing Networks
Queueing network models have been extensively applied to represent and analyze resource sharing systems such as communication and computer systems and they have proved to be a pow...
Simonetta Balsamo