Sciweavers

3318 search results - page 261 / 664
» The Weak Instance Model
Sort
View
ISSRE
2010
IEEE
15 years 5 months ago
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
Cristiano Bertolini, Alexandre Mota, Eduardo Aranh...
ICCV
2007
IEEE
16 years 8 months ago
Conditional State Space Models for Discriminative Motion Estimation
We consider the problem of predicting a sequence of real-valued multivariate states from a given measurement sequence. Its typical application in computer vision is the task of mo...
Minyoung Kim, Vladimir Pavlovic
PERCOM
2007
ACM
16 years 6 months ago
XCML: A Runtime Representation for the Context Modelling Language
The Context Modelling Language (CML), derived from Object Role Modeling (ORM), is a powerful approach for capturing the pertinent object types and relationships between those type...
Ricky Robinson, Karen Henricksen, Jadwiga Indulska
CONTEXT
2007
Springer
16 years 25 days ago
Adaptive and Context-aware Scenarios for Technology Enhanced Learning System based on a Didactical Theory and a Hierarchical Tas
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
Jean-Louis Tetchueng, Serge Garlatti, Sylvain Laub...
DLOG
2006
15 years 8 months ago
Model checking the basic modalities of CTL with Description Logic
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...