Sciweavers

3926 search results - page 415 / 786
» Deriving Information Requirements from Responsibility Models
Sort
View
CORR
2000
Springer
86views Education» more  CORR 2000»
15 years 6 months ago
Variable Word Rate N-grams
The rate of occurrence of words is not uniform but varies from document to document. Despite this observation, parameters for conventional n-gram language models are usually deriv...
Yoshihiko Gotoh, Steve Renals
192
Voted
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 11 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
AAAI
1990
15 years 8 months ago
Understanding Natural Language with Diagrams
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
Gordon S. Novak, William C. Bulko
PKDD
2010
Springer
193views Data Mining» more  PKDD 2010»
15 years 5 months ago
Process Mining Meets Abstract Interpretation
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...
Josep Carmona, Jordi Cortadella
CVPR
2004
IEEE
16 years 8 months ago
Hybrid Textons: Modeling Surfaces with Reflectance and Geometry
The appearance of surface texture as it varies with angular changes of view and illumination is becoming an increasingly important research topic. The bidirectional texture functi...
Jing Wang 0008, Kristin J. Dana