Sciweavers

12459 search results - page 190 / 2492
» cans 2006
Sort
View
BPM
2006
Springer
153views Business» more  BPM 2006»
15 years 8 months ago
Decision Mining in ProM
Process-aware Information Systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. Proper analysis of these execu...
Anne Rozinat, Wil M. P. van der Aalst
COCO
2006
Springer
97views Algorithms» more  COCO 2006»
15 years 8 months ago
A Duality between Clause Width and Clause Density for SAT
We consider the relationship between the complexities of - and those of restricted to formulas of constant density. Let be the infimum of those such that - on variables can be dec...
Chris Calabro, Russell Impagliazzo, Ramamohan Patu...
DIAL
2006
IEEE
130views Image Analysis» more  DIAL 2006»
15 years 8 months ago
Refinement of digitized documents through recognition of mathematical formulae
We are developing a recognition system, named `Infty', for scientific documents including those with mathematical formulae. In this paper, we propose a new system that can re...
Toshihiro Kanahori, Masakazu Suzuki
133
Voted
CSREASAM
2006
15 years 6 months ago
Acoustic Surveillance of Physically Unmodified PCs
Computer equipment produces a wide range of emanations in the visible, electromagnetic, and acoustic spectra. It is well known that electromagnetic emanations can reveal informatio...
Michael LeMay, Jack Tan
CONNECTION
2006
101views more  CONNECTION 2006»
15 years 4 months ago
Learning acceptable windows of contingency
By learning a range of possible times over which the effect of an action can take place, a robot can reason more effectively about causal and contingent relationships in the world...
Kevin Gold, Brian Scassellati