2034 search results - page 259 / 407 » Declarative Agent Control |
123
click to vote
PODS
2010
ACM
15 years 3 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
140
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Although software managers are generally good at new project estimation, their experience of scheduling rework tends to be poor. Inconsistent or incorrect effort estimation can in...
AIM
2006
15 years 3 months ago
2006
In this paper, we show how 4D/RCS incorporates and integrates multiple types of disparate knowledge representation techniques into a common, unifying architecture. 4D/RCS is based...
124
click to vote
ENTCS
2007
15 years 3 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
167
click to vote
ANSOFT
2002
15 years 3 months ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...