601 search results - page 68 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
239
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
In many distributed environments, the primary function of monitoring software is to detect anomalies, that is, instances when system behavior deviates substantially from the norm....
125
click to vote
JAIR
2008
15 years 1 months ago
2008
Sentence compression holds promise for many applications ranging from summarization to subtitle generation. Our work views sentence compression as an optimization problem and uses...
138
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
113
click to vote
IJAOSE
2010
15 years 8 hour ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...