6549 search results - page 202 / 1310 » Parsimonious additive models |
146
click to vote
ERLANG
2006
ACM
16 years 15 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
180
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
Among the foremost goals of topology control in wireless ad-hoc networks is interference reduction. This paper presents a receiver-centric interference model featuring two main ad...
156
click to vote
AE
2005
Springer
16 years 2 days ago
2005
Springer
In the research field of Artificial Life, the concepts of emergence and adaptation form the basis of a class of models which describes reproducing individuals whose characteristics...
158
click to vote
APN
2005
Springer
16 years 2 days ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
180
click to vote
JSSPP
2005
Springer
16 years 19 hour ago
2005
Springer
User estimates of job runtimes have emerged as an important component of the workload on parallel machines, and can have a significant impact on how a scheduler treats different ...