2395 search results - page 371 / 479 » Reasoning in Semantic Wikis |
CHI
2003
ACM
14 years 10 months ago
2003
ACM
This paper describes a system, Mr.Web, designed to interact with users over email to create and update Web pages. Our goal is that users interact with Mr.Web as if it were a human...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
POPL
2002
ACM
14 years 10 months ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...
FLOPS
2010
Springer
14 years 5 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...