Sciweavers

2765 search results - page 288 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
181
Voted
PPDP
2009
Springer
16 years 1 months ago
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
Markus Kaiser, Ralf Lämmel
190
Voted
ICASSP
2011
IEEE
14 years 10 months ago
Toward text message normalization: Modeling abbreviation generation
This paper describes a text normalization system for deletion-based abbreviations in informal text. We propose using statistical classifiers to learn the probability of deleting ...
Deana Pennell, Yang Liu
ECCV
2004
Springer
16 years 4 days ago
Combining Simple Models to Approximate Complex Dynamics
Stochastic tracking of structured models in monolithic state spaces often requires modeling complex distributions that are difficult to represent with either parametric or sample...
Leonid Taycher, John W. Fisher III, Trevor Darrell
DSVIS
2003
Springer
15 years 12 months ago
Functionally Modeled User Interfaces
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
Antony Courtney