58 search results - page 11 / 12 » RuleMonkey: software for stochastic simulation of rule-based... |
EUROCAST
2007
Springer
13 years 9 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
ENGL
2008
13 years 5 months ago
2008
High performance computing is becoming increasingly important in the field of financial computing, as the complexity of financial models continues to increase. Many of these financ...
IUI
2010
ACM
14 years 2 months ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...
EUROCAST
1997
Springer
13 years 10 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
COMSWARE
2007
IEEE
14 years 3 days ago
2007
IEEE
In this paper we are concerned with finding the maximum throughput that a mobile ad hoc network can support. Even when nodes are stationary, the problem of determining the capaci...