Sciweavers

14403 search results - page 2585 / 2881
» Dynamical Systems Trees
Sort
View
SPIN
2004
Springer
16 years 7 hour ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
VLDB
2004
ACM
127views Database» more  VLDB 2004»
16 years 5 hour ago
Computing Frequent Itemsets Inside Oracle 10G
1 Frequent itemset counting is the first step for most association rule algorithms and some classification algorithms. It is the process of counting the number of occurrences of ...
Wei Li, Ari Mozes
SAC
2010
ACM
15 years 12 months ago
Chemical-inspired self-composition of competing services
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
Mirko Viroli, Matteo Casadei
AMFG
2003
IEEE
148views Biometrics» more  AMFG 2003»
15 years 12 months ago
Multi-Modal Face Tracking Using Bayesian Network
This paper presents a Bayesian network based multimodal fusion method for robust and real-time face tracking. The Bayesian network integrates a prior of second order system dynami...
Fang Liu, Xueyin Lin, Stan Z. Li, Yuanchun Shi
CLADE
2003
IEEE
15 years 12 months ago
ADViCE over Grid Services: Initial Deployment
The complexity of computational grid applications and their environments has been increased due to the heterogeneity of resources; complexity, continuous changes of the applicatio...
Yoonhee Kim, Ilkyeun Ra, Sung-Yong Park, Byoung uk...
« Prev « First page 2585 / 2881 Last » Next »