550 search results - page 5 / 110 » Implementing Real Numbers With RZ |
ATAL
1995
Springer
15 years 3 months ago
1995
Springer
Autonomousagentsin the real world must be capableof asynchronous goal generation. However, one consequence of this ability is that the agent may generate a substantial number of go...
82
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
WWW
2002
ACM
16 years 10 days ago
2002
ACM
A large fraction of the useful web comprises of specification documents that largely consist of hattribute name, numeric valuei pairs embedded in text. Examples include product in...
127
Voted
PADL
2012
Springer
13 years 7 months ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
91
Voted
ICDCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Retrieving sequential rich media content from modern commodity disks is a challenging task. As disk capacity increases, there is a need to increase the number of streams that are ...