Sciweavers

24451 search results - page 4500 / 4891
» Research methods in information
Sort
View
EUROCAST
2003
Springer
154views Hardware» more  EUROCAST 2003»
16 years 1 days ago
Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System
In this paper we describe an adaptation method for adaptive hypermedia systems, consisting in personalized guided routes for the SEM-HP model. SEM-HP is a layered, systemic, semant...
Nuria Medina-Medina, Fernando Molina-Ortiz, Lina G...
FM
2003
Springer
115views Formal Methods» more  FM 2003»
16 years 1 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
ICS
2003
Tsinghua U.
16 years 1 days ago
Selecting long atomic traces for high coverage
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...
Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ron...
ISHPC
2003
Springer
16 years 19 hour ago
Code and Data Transformations for Improving Shared Cache Performance on SMT Processors
Simultaneous multithreaded processors use shared on-chip caches, which yield better cost-performance ratios. Sharing a cache between simultaneously executing threads causes excessi...
Dimitrios S. Nikolopoulos
ECCV
2010
Springer
16 years 4 hour ago
A Streakline Representation of Flow in Crowded Scenes
Based on the Lagrangian framework for fluid dynamics, a streakline representation of flow is presented to solve computer vision problems involving crowd and traffic flow. Streakl...
Ramin Mehran, Brian E. Moore, Mubarak Shah
« Prev « First page 4500 / 4891 Last » Next »