Sciweavers

11168 search results - page 117 / 2234
» Abstract State Processes
Sort
View
TAL
2004
Springer
15 years 9 months ago
Unsupervised Training of a Finite-State Sliding-Window Part-of-Speech Tagger
A simple, robust sliding-window part-of-speech tagger is presented and a method is given to estimate its parameters from an untagged corpus. Its performance is compared to a standa...
Enrique Sánchez Villamil, Mikel L. Forcada,...
ICPPW
2002
IEEE
15 years 9 months ago
SNOW: Software Systems for Process Migration in High-Performance, Heterogeneous Distributed Environments
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
Kasidit Chanchio, Xian-He Sun
FM
2009
Springer
134views Formal Methods» more  FM 2009»
15 years 2 months ago
Partial Order Reductions Using Compositional Confluence Detection
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
Frédéric Lang, Radu Mateescu
COGSCI
2010
107views more  COGSCI 2010»
15 years 4 months ago
Bootstrapping the Mind: Analogical Processes and Symbol Systems
Human cognition is striking in its brilliance and its adaptability. How do we get that way? How do we move from the nearly helpless state of infants to the cognitive proficiency t...
Dedre Gentner
JOT
2010
137views more  JOT 2010»
15 years 2 months ago
Computational Abstraction Steps
ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
Lone Leth Thomsen, Bent Thomsen, Kurt Nørma...