5699 search results - page 292 / 1140 » Alternating model trees |
180
click to vote
JCNS
2006
15 years 7 months ago
2006
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modeled with a simple integrate-and-fire process, whils...
210
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
209
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
251
click to vote
SSDBM
2002
IEEE
16 years 9 days ago
2002
IEEE
The efficient management of interval data represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tree1 ), an effi...
239
click to vote
DASFAA
2004
IEEE
15 years 11 months ago
2004
IEEE
Abstract. The efficient management of interval sequences represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tr...