Sciweavers

652 search results - page 101 / 131
» Deriving Specifications of Dependable Systems: toward a Meth...
Sort
View
CAGD
2006
103views more  CAGD 2006»
14 years 10 months ago
The implicit structure of ridges of a smooth parametric surface
Given a smooth surface, a blue (red) ridge is a curve such that at each of its points, the maximum (minimum) principal curvature has an extremum along its curvature line. Ridges a...
Frédéric Cazals, Jean-Charles Faug&e...
ECOOPW
2008
Springer
14 years 11 months ago
Equation-Based Object-Oriented Languages and Tools
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
Peter Fritzson, David Broman, François Cell...
ICIP
2008
IEEE
15 years 11 months ago
Learning action dictionaries from video
Summarizing the contents of a video containing human activities is an important problem in computer vision and has important applications in automated surveillance systems. Summar...
Pavan K. Turaga, Rama Chellappa
APVIS
2010
14 years 11 months ago
Context preserving dynamic word cloud visualization
In this paper, we introduce a visualization method that couples a trend chart with word clouds to illustrate temporal content evolutions in a set of documents. Specifically, we us...
Weiwei Cui, Yingcai Wu, Shixia Liu, Furu Wei, Mich...
CGA
2010
14 years 7 months ago
Context-Preserving, Dynamic Word Cloud Visualization
In this paper, we introduce a visualization method that couples a trend chart with word clouds to illustrate temporal content evolutions in a set of documents. Specifically, we us...
Weiwei Cui, Yingcai Wu, Shixia Liu, Furu Wei, Mich...