1157 search results - page 50 / 232 » Descriptive Complexity and Model Checking |
113
Voted
DLOG
2010
15 years 7 days ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
150
click to vote
JAPLL
2010
15 years 20 days ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
113
Voted
ISMIR
2004
Springer
15 years 7 months ago
2004
Springer
Repeating sounds and patterns are widely exploited throughout music. However, although analysis and music information retrieval applications are often concerned with processing sp...
99
Voted
LPAR
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
COLING
1992
15 years 3 months ago
1992
The main problem arising from the use of complex constraints in Computational Linguists is due to the NP-hardness of checking whether a given set of constraints is satisfiable and...