Sciweavers

2956 search results - page 504 / 592
» Asim: A Performance Model Framework
Sort
View
COORDINATION
2009
Springer
16 years 6 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
CHI
2006
ACM
16 years 6 months ago
Reality testing: HCI challenges in non-traditional environments
Non-traditional environments often change rapidly without forewarning, are difficult or impossible to control, and have other environmental and operational constraints that cannot...
Gisele Bennett, Gitte Lindgaard, Bruce Tsuji, Kay ...
EDBT
2008
ACM
150views Database» more  EDBT 2008»
16 years 6 months ago
Cost-based query optimization for complex pattern mining on multiple databases
For complex data mining queries, query optimization issues arise, similar to those for the traditional database queries. However, few works have applied the cost-based query optim...
Ruoming Jin, David Fuhry, Abdulkareem Alali
ASC
2007
16 years 5 months ago
A BDI Agent System for Credit Risk Assessment based on Fuzzy Logic
Credit risk has always been an important issue for banks and other financial intermediaries. A reliable and consistent computing system is necessary to simplify the decision mak...
S. Bonura, V. Morreale, G. Cammarata, F. Cantore,...
CVPR
2010
IEEE
16 years 2 months ago
An Object-Dependent Hand Pose Prior from Sparse Training Data
In this paper, we propose a prior for hand pose estimation that integrates the direct relation between a manipulating hand and a 3d object. This is of particular interest for a va...
Henning Hamer, Juergen Gall, Thibaut Weise, Luc Va...