CONCURRENCY
2002
13 years 4 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
JUCS
2007
13 years 4 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
MTA
2008
13 years 4 months ago
2008
This paper presents a framework that explicitly detects events in broadcasting baseball videos and facilitates the development of many practical applications. Three phases of contr...
IJAR
2008
13 years 4 months ago
2008
One of the key strengths of the region connection calculus (RCC) -- its generality -- is also one of its most important drawbacks for practical applications. The semantics of all ...
AGP
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper we give a summary of our recent survey of practical applications of Logic Programming in Italy. The survey covers a 25 year time-span. Information was mainly gathere...
ICAIL
2003
ACM
13 years 9 months ago
2003
ACM
In recent years, practical applications of legal knowledge-based systems have become increasingly common. This raises the issue of their functioning in practice and their actual in...
SPIRE
2004
Springer
13 years 10 months ago
2004
Springer
The prediction of query performance is an interesting and important issue in Information Retrieval (IR). Current predictors involve the use of relevance scores, which are time-cons...
ICTAI
2005
IEEE
13 years 10 months ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
IWANN
2009
Springer
13 years 11 months ago
2009
Springer
This paper presents a brief summary of the contents of the special session on practical applications held in the framework of IWANN 2009. The special session has been supported by ...