3161 search results - page 67 / 633 » Hybrid results merging |
113
click to vote
ECSQARU
2003
Springer
15 years 7 months ago
2003
Springer
In previous papers, we have presented a logic-based framework for merging structured news reports [14, 16, 15]. Structured news reports are XML documents, where the text entries ar...
106
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
120
click to vote
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, a hybrid algorithm based on the Multiple Offspring Sampling framework is presented and benchmarked on the BBOB-2010 noisy testbed. MOS allows the seamless combinat...
108
click to vote
HYBRID
2009
Springer
15 years 5 months ago
2009
Springer
A 3D biped with knees and a hip is naturally modeled as a nontrivial hybrid system; impacts occur when the knee strikes and when the foot impacts the ground causing a switch in the...
121
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents two visualization techniques suitable for huge oceanography time-varying volume datasets on high-performance graphics workstations. We first propose an off-lin...