Sciweavers

14577 search results - page 2552 / 2916
» Statistical Language Modelling
Sort
View
ESCIENCE
2006
IEEE
15 years 10 months ago
Jylab: A System for Portable Scientific Computing over Distributed Platforms
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
Giorgios Kollias, Efstratios Gallopoulos
APSEC
2003
IEEE
15 years 10 months ago
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
Moshe Deutsch, Martin C. Henson
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 10 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
IFIPTCS
2000
15 years 10 months ago
Hierarchical State Machines
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
Mihalis Yannakakis
189
Voted
SIGIR
1998
ACM
15 years 10 months ago
Automatic Acquisition of Phrasal Knowledge for English-Chinese Bilingual Information Retrieval
Extraction of phrasal knowledge, such as proper names, domain-specific keyphrases and lexical templates from a domain-specific text collection are significant for developing effec...
Ming-Jer Lee, Lee-Feng Chien
« Prev « First page 2552 / 2916 Last » Next »