Sciweavers

11484 search results - page 442 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
JMLR
2010
169views more  JMLR 2010»
15 years 1 months ago
Focused Belief Propagation for Query-Specific Inference
With the increasing popularity of largescale probabilistic graphical models, even "lightweight" approximate inference methods are becoming infeasible. Fortunately, often...
Anton Chechetka, Carlos Guestrin
283
Voted
WWW
2009
ACM
16 years 7 months ago
Smart Miner: a new framework for mining large scale web usage data
In this paper, we propose a novel framework called SmartMiner for web usage mining problem which uses link information for producing accurate user sessions and frequent navigation...
Murat Ali Bayir, Ismail Hakki Toroslu, Ahmet Cosar...
WACV
2005
IEEE
16 years 16 days ago
Multi-View Face Tracking with Factorial and Switching HMM
Dynamic face pose change and noise make it difficult to track multi-view faces in a cluttering environment. In this paper, we propose a graphical model based method, which combin...
Peng Wang, Qiang Ji
TIME
1994
IEEE
15 years 11 months ago
On the Representation of Temporal Object Roles in Object Oriented Databases
This paper outlines a generic, core temporal object model that provides support for the modeling of temporal object roles. This model draws from notions introduced in some of our ...
Niki Pissinou, Kia Makki