Sciweavers

6047 search results - page 464 / 1210
» Modeling with Extend
Sort
View
FDL
2005
IEEE
16 years 27 days ago
Mixing Synchronous Reactive and Untimed Models of Computation
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
Fernando Herrera, Eugenio Villar
CONCUR
2000
Springer
15 years 11 months ago
Reachability Analysis for Some Models of Infinite-State Transition Systems
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
ACL
2008
15 years 8 months ago
Arabic Morphological Tagging, Diacritization, and Lemmatization Using Lexeme Models and Feature Ranking
We investigate the tasks of general morphological tagging, diacritization, and lemmatization for Arabic. We show that for all tasks we consider, both modeling the lexeme explicitl...
Ryan Roth, Owen Rambow, Nizar Habash, Mona T. Diab...
202
Voted
EGITALY
2006
15 years 8 months ago
Easy Access to Huge 3D Models of Works of Art
Automatic shape acquisition technologies evolved rapidly in recent years, and huge mass of 3D data can be easily produced. The high accuracy of range scanning technology makes the...
Marco Callieri, Federico Ponchio, Paolo Cignoni, R...
ISMB
1996
15 years 8 months ago
Gene Recognition in Cyanobacterium Genomic Sequence Data Using the Hidden Markov Model
We have developed a hidden Markov model (HMM)to detect the protein coding regions within one megabase contiguous sequence data, registered in a database called GenBankin eight ent...
Tetsushi Yada, Makoto Hirosawa