Sciweavers

4539 search results - page 378 / 908
» Approaches to Compute Workflow Complexity
Sort
View
JSAI
2007
Springer
16 years 27 days ago
Towards a Logical Reconstruction of CF-Induction
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue
LSSC
2007
Springer
16 years 27 days ago
Parallel Implementation of LQG Balanced Truncation for Large-Scale Systems
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
José M. Badía, Peter Benner, Rafael ...
WAPCV
2007
Springer
16 years 26 days ago
Context Driven Focus of Attention for Object Detection
Abstract. Context plays an important role in general scene perception. In particular, it can provide cues about an object’s location within an image. In computer vision, object d...
Roland Perko, Ales Leonardis
CONEXT
2006
ACM
16 years 22 days ago
Autonomic policy-based management using web services
Network management requires a lot of manual work. Due to ongoing growth of the Internet, more self-management is needed in order to deal with the growing complexity. Policybased m...
Torsten Klie, Lars Wolf
ACSC
2005
IEEE
16 years 11 days ago
Unsupervised Anomaly Detection in Network Intrusion Detection Using Clusters
Most current network intrusion detection systems employ signature-based methods or data mining-based methods which rely on labelled training data. This training data is typically ...
Kingsly Leung, Christopher Leckie