503 search results - page 78 / 101 » Equality In Lazy Computation Systems |
APN
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
APN
2006
Springer
14 years 11 days ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
AINA
2010
IEEE
14 years 1 days ago
2010
IEEE
—Mnesic evocation occurs under the action of a stimulus. A successful evocation is observed as the overrun of a certain threshold of the neuronal activity followed by a medical i...
FLAIRS
2004
13 years 10 months ago
2004
All courses in Artificial Intelligence are not equal. The topics covered by a course entitled Artificial Intelligence vary widely. The Computing Curricula 2001: Computer Science o...
JCSS
2007
13 years 8 months ago
2007
The financial services industry today produces and consumes huge amounts of data and the processes involved in analysing these data are equally huge especially in terms of their c...