7839 search results - page 277 / 1568 » What's there and what's not |
98
Voted
SE
2007
15 years 3 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
125
Voted
WICSA
2008
15 years 3 months ago
2008
Release planning is the process of deciding what to include in future release(s) of a product. In this paper we look at how software architects are involved during release plannin...
125
click to vote
FLAIRS
2004
15 years 3 months ago
2004
This paper describes a novel architecture for a casebased reasoning (CBR) system. Unlike other agent CBR systems in this architecture every case is an autonomous agent with its ow...
ICAI
2004
15 years 3 months ago
2004
Abstract-- We define a framework for what we call potentialbased computing and show how it may be applied to actionmotion applications in general and dynamic games in particular. W...
110
Voted
ACL
2003
15 years 3 months ago
2003
This paper investigates an application of the ranked region algebra to information retrieval from large scale but unannotated documents. We automatically annotated documents with ...