228 search results - page 35 / 46 » An effective theory of type refinements |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
BEHAVIOURIT
2004
13 years 7 months ago
2004
The extent to which memory for information content is reliable, trustworthy, and accurate is crucial in the information age. Being forced to divert attention to interrupting messag...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Textures can often more easily be described as a composition of subtextures than as a single texture. The paper proposes a way to model and synthesize such "composite textures...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...