3161 search results - page 48 / 633 » Hybrid results merging |
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
Based on the renowned method of Bitton et al. (see [1]) we develop a concise but comprehensive analytical model for the well-known Binary Merge Sort, Bitonic Sort, Nested-Loop Join...
JOT
2010
14 years 10 months ago
2010
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
116
click to vote
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
110
click to vote
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
106
click to vote
KDD
2009
ACM
16 years 11 days ago
2009
ACM
Query result clustering has recently attracted a lot of attention to provide users with a succinct overview of relevant results. However, little work has been done on organizing t...