Sciweavers

1917 search results - page 80 / 384
» The York Abstract Machine
Sort
View
FASE
2000
Springer
15 years 3 months ago
Formal System Development with KIV
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
Michael Balser, Wolfgang Reif, Gerhard Schellhorn,...
BMCBI
2007
105views more  BMCBI 2007»
14 years 12 months ago
Constrained hidden Markov models for population-based haplotyping
abstract Niels Landwehr1 , Taneli Mielik¨ainen2 , Lauri Eronen2 , Hannu Toivonen1,2 , and Heikki Mannila2 1 Machine Learning Lab, Dept. of Comp. Science, University of Freiburg, G...
Niels Landwehr, Taneli Mielikäinen, Lauri Ero...
ICDE
2008
IEEE
167views Database» more  ICDE 2008»
16 years 1 months ago
Building Community Wikipedias: A Machine-Human Partnership Approach
Abstract-- The rapid growth of Web communities has motivated many solutions for building community data portals. These solutions follow roughly two approaches. The first approach (...
Pedro DeRose, Xiaoyong Chai, Byron J. Gao, Warren ...
66
Voted
MICCAI
2008
Springer
16 years 1 months ago
Classification of Suspected Liver Metastases Using fMRI Images: A Machine Learning Approach
Abstract. This paper presents a machine-learning approach to the interactive classification of suspected liver metastases in fMRI images. The method uses fMRI-based statistical mod...
Moti Freiman, Yifat Edrei, Yehonatan Sela, Yitz...
ICCPOL
2009
Springer
15 years 6 months ago
Lexicalized Syntactic Reordering Framework for Word Alignment and Machine Translation
Abstract. We propose a lexicalized syntactic reordering framework for crosslanguage word aligning and translating researches. In this framework, we first flatten hierarchical sourc...
Chung-Chi Huang, Wei-Teh Chen, Jason S. Chang