674 search results - page 99 / 135 » From Constructibility and Absoluteness to Computability and ... |
SAC
2004
ACM
15 years 7 months ago
2004
ACM
This paper addresses the problem of “missing requirements” in software requirements specification (SRS) expressed in natural language. Due to rapid changes in technology and b...
119
click to vote
AAAI
1996
15 years 3 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
126
click to vote
IPPS
1997
IEEE
15 years 5 months ago
1997
IEEE
In this paper we show the power of sampling techniques in designing efficient distributed algorithms. In particular, we show that using sampling techniques, on some networks, sele...
128
click to vote
CGI
2006
IEEE
15 years 8 months ago
2006
IEEE
It has been technically challenging to effectively model and simulate elastic deformation of spline-based, thin-shell objects of complicated topology. This is primarily because tra...
110
click to vote
ICML
2006
IEEE
16 years 2 months ago
2006
IEEE
Knowledge-based planning methods offer benefits over classical techniques, but they are time consuming and costly to construct. There has been research on learning plan knowledge ...