396 search results - page 18 / 80 » Combining decision procedures for the reals |
119
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Hierarchical macro/femto-cell networks are considered as a promising technology for the improvement of indoor coverage and network capacity. In these emerging networks, ...
127
click to vote
ECAIW
1994
Springer
15 years 5 months ago
1994
Springer
This paper describes the design and implementation of a layered agent architecture for decision support applications in general and for distributed medical care in particular. Thre...
109
click to vote
WSC
1997
15 years 2 months ago
1997
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
110
click to vote
IDA
2010
Springer
15 years 3 months ago
2010
Springer
This paper introduces a novel method for obtaining increased predictive performance from transparent models in situations where production input vectors are available when building...