12981 search results - page 2215 / 2597 » Model Checking (Abstract) |
155
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Contemporary high-end Terascale and Petascale systems are composed of hundreds of thousands of commodity multi-core processors interconnected with high-speed custom netwo...
124
click to vote
ICIAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Structured light stereoscopic imaging offers an efficient and affordable solution to 3D modeling of objects. The majority of structured light patterns that have been prop...
142
click to vote
ICIDS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...
154
click to vote
ICSR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
132
click to vote
ICTIR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Most of the previous research on term weighting for information retrieval has focused on developing specialized parametric term weighting functions. Examples include TF.I...