Sciweavers

6047 search results - page 109 / 1210
» Modeling with Extend
Sort
View
TABLEAUX
2009
Springer
15 years 8 months ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...
CVPR
2000
IEEE
16 years 3 months ago
A Generalized Optical Flow Constraint and its Physical Interpretation
This paper addresses the issue of motion estimation on image sequences. The standard motion equation used to compute the apparent motion of image irradiance patterns is an invaria...
Dominique Béréziat, Isabelle Herlin,...
SIGMOD
2006
ACM
122views Database» more  SIGMOD 2006»
16 years 1 months ago
The ADO.NET entity framework: making the conceptual level real
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
Anil Nori, José A. Blakeley, S. Muralidhar
ICECCS
2000
IEEE
126views Hardware» more  ICECCS 2000»
15 years 6 months ago
Domain Modeling of Software Process Models
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
Hassan Gomaa, Larry Kerschberg, Ghulam A. Farrukh
CORR
2000
Springer
67views Education» more  CORR 2000»
15 years 1 months ago
Recognition Performance of a Structured Language Model
A new language model for speech recognition inspired by linguistic analysis is presented. The model develops hidden hierarchical structure incrementally and uses it to extract mea...
Ciprian Chelba, Frederick Jelinek