2638 search results - page 271 / 528 » A Framework for Automatic Debugging |
170
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
187
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A novel unsupervised clustering algorithm called Hyperclique Pattern-KMEANS (HP-KMEANS) is presented. Considering recent success in semisupervised clustering using pair-wise const...
162
click to vote
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Automation of versatile process management will aid greater efficiency and lower costs. It is widely expected that highly structured agreements should be executed and enforced aut...
195
click to vote
JVA
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
160
click to vote
DEXAW
2005
IEEE
16 years 23 days ago
2005
IEEE
The primary goal of smart homes is to provide their users with the maximum comfort and convenience. In this paper, we present a profile management framework for situation-dependen...