Sciweavers

3724 search results - page 175 / 745
» Timed regular expressions
Sort
View
BMCBI
2008
148views more  BMCBI 2008»
15 years 4 months ago
BATS: a Bayesian user-friendly software for Analyzing Time Series microarray experiments
Summary: BATS is a user-friendly software for Bayesian Analysis of Time Series microarray experiments based on the novel, truly functional and fully Bayesian approach proposed in ...
Claudia Angelini, Luisa Cutillo, Daniela De Candit...
128
Voted
ECSQARU
1997
Springer
15 years 8 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
TIME
2009
IEEE
15 years 11 months ago
Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
Carlo Zaniolo
ADAEUROPE
2006
Springer
15 years 10 months ago
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
Juan López Campos, J. Javier Gutiérr...
146
Voted
ICCL
1994
IEEE
15 years 8 months ago
Semantics for a Real-Time Object-Oriented Programming Language
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
Ichiro Satoh, Mario Tokoro