3731 search results - page 192 / 747 » cases 2006 |
149
click to vote
JSS
2006
2006
An empirical study of process-related attributes in segmented software cost-estimation relationships
15 years 6 months ago
Parametric software effort estimation models consisting on a single mathematical relationship suffer from poor adjustment and predictive characteristics in cases in which the hist...
166
click to vote
LOGCOM
2006
15 years 6 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
150
click to vote
IANDC
2007
15 years 6 months ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
160
click to vote
IANDC
2007
15 years 6 months ago
2007
We explore the notion of alternating two-way tree automata modulo the theory of finitely many associative-commutative (AC) symbols. This was prompted by questions arising in cryp...
169
click to vote
NECO
2006
15 years 6 months ago
2006
In two recent papers, Rudolph and Destexhe (Neural Comp. 15, 2577-2618, 2003; Neural Comp. in press, 2005) studied a leaky integrator model (i.e. an RC-circuit) driven by correlat...