2989 search results - page 103 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
QSIC
2003
IEEE
15 years 3 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
INFOVIS
1999
IEEE
15 years 2 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
AAAI
2008
15 years 5 days ago
2008
Checking CSP consistency is shown, in theory, to be an NP-complete problem. There is two families of methods for CSP consistency checking. The first family holds the complete meth...
NIPS
2001
14 years 11 months ago
2001
In this paper we introduce a new sparseness inducing prior which does not involve any (hyper)parameters that need to be adjusted or estimated. Although other applications are poss...