305 search results - page 41 / 61 » Using Answer Sets to Solve Belief Change Problems |
143
Voted
JAR
2000
15 years 3 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
126
Voted
DLOG
2010
15 years 1 months ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
120
Voted
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
Active models are widely used in applications like image segmentation and tracking. Region-based active models are known for robustness to weak edges and high computational comple...
130
Voted
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
144
Voted
PVLDB
2010
15 years 2 months ago
2010
Graphs are of growing importance in modeling complex structures such as chemical compounds, proteins, images, and program dependence. Given a query graph Q, the subgraph isomorphi...