Sciweavers

5113 search results - page 776 / 1023
» Model-integrated system development: models, architecture, a...
Sort
View
FOSSACS
2009
Springer
16 years 1 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
DAGM
2007
Springer
16 years 23 days ago
Short-Term Tide Prediction
Ever since the first fishermen ventured into the sea, tides have been the subject of intense human observation. As a result computational models and ‘tide predicting machines...
Nils Hasler, Klaus-Peter Hasler
NLDB
2005
Springer
16 years 2 days ago
Named Entity Recognition for Web Content Filtering
Effective Web content filtering is a necessity in educational and workplace environments, but current approaches are far from perfect. We discuss a model for text-based intellige...
José María Gómez Hidalgo, Fra...
TWC
2008
148views more  TWC 2008»
15 years 6 months ago
ARMA Synthesis of Fading Channels
Computationally scalable and accurate estimation, prediction, and simulation of wireless communication channels is critical to the development of more adaptive transceiver algorith...
Hani Mehrpouyan, Steven D. Blostein
COLING
2010
15 years 1 months ago
Detecting Speech Repairs Incrementally Using a Noisy Channel Approach
Unrehearsed spoken language often contains disfluencies. In order to correctly interpret a spoken utterance, any such disfluencies must be identified and removed or otherwise deal...
Simon Zwarts, Mark Johnson, Robert Dale