Sciweavers

1358 search results - page 131 / 272
» Proceedings
Sort
View
123
Voted
AMAST
2006
Springer
15 years 8 months ago
Testing Semantics: Connecting Processes and Process Logics
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
Dusko Pavlovic, Michael W. Mislove, James Worrell
CIT
2004
Springer
15 years 8 months ago
BioPubMiner: Machine Learning Component-Based Biomedical Information Analysis Platform
Abstract. In this paper we introduce BioPubMiner, a machine learning component-based platform for biomedical information analysis. BioPubMiner employs natural language processing t...
Jae-Hong Eom, Byoung-Tak Zhang
ATAL
2006
Springer
15 years 8 months ago
Modeling uncertain domains with polyagents
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
H. Van Dyke Parunak, Sven Brueckner
CC
2006
Springer
129views System Software» more  CC 2006»
15 years 8 months ago
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode
Abstract. Loop optimizations such as loop unrolling, unfolding and invariant code motion have long been used in a wide variety of compilers to improve the running time of applicati...
Simon Hammond, David Lacey
DIAL
2004
IEEE
149views Image Analysis» more  DIAL 2004»
15 years 8 months ago
Holistic Word Recognition for Handwritten Historical Documents
Most offline handwriting recognition approaches proceed by segmenting words into smaller pieces (usually characters) which are recognized separately. The recognition result of a w...
Victor Lavrenko, Toni M. Rath, R. Manmatha