Sciweavers

1928 search results - page 79 / 386
» Integrity Constraints in OWL
Sort
View
ICRA
2010
IEEE
137views Robotics» more  ICRA 2010»
15 years 4 months ago
Dipole-like fields for stabilization of systems with Pfaffian constraints
This paper introduces a framework that guides the design of stabilizing feedback control laws for systems with Pfaffian constraints. A new class of N-dimensional vector fields, the...
Dimitra Panagou, Herbert G. Tanner, Kostas J. Kyri...
ICCS
2007
Springer
16 years 11 days ago
Integrated Decision Algorithms for Auto-steered Electric Transmission System Asset Management
Electric power transmission systems are comprised of a large number of physical assets, including transmission lines, power transformers, and circuit breakers, that are capital-int...
James D. McCalley, Vasant Honavar, Sarah M. Ryan, ...
ACSAC
2005
IEEE
15 years 12 months ago
An Integrity Verification Scheme for DNS Zone file based on Security Impact Analysis
The Domain Name System (DNS) is the world’s largest distributed computing system that performs the key function of translating user-friendly domain names to IP addresses through...
Ramaswamy Chandramouli, Scott Rose
ASPDAC
2004
ACM
85views Hardware» more  ASPDAC 2004»
15 years 11 months ago
Integrating buffer planning with floorplanning for simultaneous multi-objective optimization
As the process technology advances into the deep submicron era, interconnect plays a dominant role in determining circuit performance and signal integrity. Buffer insertion is one...
Yi-Hui Cheng, Yao-Wen Chang
ICLP
2009
Springer
16 years 6 months ago
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
Martin Gebser, Roland Kaminski, Benjamin Kaufmann,...