305 search results - page 41 / 61 » Using Answer Sets to Solve Belief Change Problems |
111
click to vote
JAR
2000
14 years 11 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...
DLOG
2010
14 years 9 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...
ICIP
2010
IEEE
14 years 9 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...
ICSEA
2007
IEEE
15 years 6 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...
114
click to vote
PVLDB
2010
14 years 10 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...