Sciweavers

4353 search results - page 631 / 871
» Expressiveness of Process Algebras
Sort
View
FOAL
2009
ACM
16 years 1 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
16 years 1 months ago
Continuous motion planning for information forecast
— This paper addresses planning of continuous paths for mobile sensors to improve long-term forecast performance. With the information gain defined by the mutual information bet...
Han-Lim Choi, Jonathan P. How
ICASSP
2008
IEEE
16 years 1 months ago
Extracting clues from human interpreter speech for spoken language translation
In previous work, we reported dramatic improvements in automatic speech recognition (ASR) and spoken language translation (SLT) gained by applying information extracted from spoke...
Matthias Paulik, Alex Waibel
KBSE
2008
IEEE
16 years 1 months ago
Inferring Finite-State Models with Temporal Constraints
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
Neil Walkinshaw, Kirill Bogdanov
AGILE
2008
Springer
142views GIS» more  AGILE 2008»
16 years 1 months ago
GeoSR: Geographically Explore Semantic Relations in World Knowledge
Methods to determine the semantic relatedness (SR) value between two lexically expressed entities abound in the field of natural language processing (NLP). The goal of such efforts...
Brent Hecht, Martin Raubal