Sciweavers

2957 search results - page 390 / 592
» Processing Self Corrections
Sort
View
COLT
1994
Springer
15 years 10 months ago
Learning Probabilistic Automata with Variable Memory Length
We propose and analyze a distribution learning algorithm for variable memory length Markov processes. These processes can be described by a subclass of probabilistic nite automata...
Dana Ron, Yoram Singer, Naftali Tishby
IWMM
1992
Springer
100views Hardware» more  IWMM 1992»
15 years 10 months ago
Scalable Distributed Garbage Collection for Systems of Active Objects
Abstract. Automatic storage management is important in highly parallel programming environments where large numbers of objects and processes are being constantly created and discar...
Nalini Venkatasubramanian, Gul Agha, Carolyn L. Ta...
ACMSE
1990
ACM
15 years 10 months ago
Computerizing a machine readable dictionary
Current research in natural language processing is characterized by the development of theories of grammar which strongly depend on the lexicon to drive parsing systems (e.g. Lexi...
Jan G. Wilms
CICLING
2007
Springer
15 years 10 months ago
Rule-Based Protein Term Identification with Help from Automatic Species Tagging
In biomedical articles, terms often refer to different protein entities. For example, an arbitrary occurrence of term p53 might denote thousands of proteins across a number of spec...
Xinglong Wang
GLVLSI
2007
IEEE
151views VLSI» more  GLVLSI 2007»
15 years 10 months ago
Hand-in-hand verification of high-level synthesis
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Ma...