27274 search results - page 5324 / 5455 » A framework for framework documentation |
114
click to vote
JSAC
2006
15 years 21 days ago
2006
Recently, the notion that a logical next step towards future mobile radio networks is to introduce multihop relaying into cellular networks, has gained wide acceptance. Nevertheles...
120
click to vote
ENTCS
2007
15 years 21 days ago
2007
Recently, we proposed a general framework for the cost analysis of Java bytecode which can be used for measuring resource usage. This analysis generates, at compile-time, cost rel...
99
Voted
JSAT
2006
15 years 21 days ago
2006
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
93
Voted
MLQ
2008
15 years 21 days ago
2008
We work out the details of a schema for a mixed support forcing iteration, which generalizes the Mitchell model [7] with no Aronszajn trees on 2. The main purpose of this paper is ...
109
click to vote
ENVSOFT
2007
15 years 21 days ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...