Sciweavers

12981 search results - page 2215 / 2597
» Model Checking (Abstract)
Sort
View
ICCS
2009
Springer
15 years 11 months ago
A Holistic Approach for Performance Measurement and Analysis for Petascale Applications
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...
Heike Jagode, Jack Dongarra, Sadaf R. Alam, Jeffre...
ICIAR
2009
Springer
15 years 11 months ago
Structured Light Stereoscopic Imaging with Dynamic Pseudo-random Patterns
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...
Pierre Payeur, Danick Desjardins
ICIDS
2009
Springer
15 years 11 months ago
Controlling Narrative Generation with Planning Trajectories: The Role of Constraints
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...
Julie Porteous, Marc Cavazza
ICSR
2009
Springer
15 years 11 months ago
Reuse of Architectural Knowledge in SPL Development
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...
Pedro O. Rossel, Daniel Perovich, M. Cecilia Basta...
ICTIR
2009
Springer
15 years 11 months ago
Semi-parametric and Non-parametric Term Weighting for Information Retrieval
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...
Donald Metzler, Hugo Zaragoza
« Prev « First page 2215 / 2597 Last » Next »