4401 search results - page 489 / 881 » Computing with Default Logic |
185
click to vote
FOSSACS
2003
Springer
16 years 3 days ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
177
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...
190
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Risk-based access control raises some novel problems that have not yet been investigated. In particular, the ability to aggregate uncertain risk estimations from different experts...
180
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents mathematical foundtions of the Overlap Resolution Number System (ORNS) which employs signed Continuous Valued Digits (CVD's). ORNS is a redundant Number S...
173
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. The inherently sequential nature of random discrete eventdriven simulation has made parallel and distributed processing di cult. This paper presents a method of applying ...