Sciweavers

1965 search results - page 244 / 393
» On the analysis of interacting pushdown systems
Sort
View
ASPLOS
2006
ACM
16 years 2 days ago
Introspective 3D chips
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
Shashidhar Mysore, Banit Agrawal, Navin Srivastava...
HICSS
2010
IEEE
228views Biometrics» more  HICSS 2010»
16 years 29 days ago
How to Establish an Online Innovation Community? the Role of Users and Their Innovative Content
We studied the evolution of an online innovation community and users’ interaction behavior through social network analysis to explore how to build an innovation community and ge...
Julia Hautz, Katja Hutter, Johann Füller, Kur...
140
Voted
CAISE
2009
Springer
16 years 21 days ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez
CLEAR
2007
Springer
180views Biometrics» more  CLEAR 2007»
16 years 8 days ago
Joint Bayesian Tracking of Head Location and Pose from Low-Resolution Video
Abstract. This paper presents a visual particle filter for jointly tracking the position of a person and her head pose. The resulting information may be used to support automatic ...
Oswald Lanz, Roberto Brunelli
IV
2005
IEEE
178views Visualization» more  IV 2005»
15 years 11 months ago
Capturing Team Dynamics through Temporal Social Surfaces
This paper introduces Temporal Social Surfaces. Temporal Social Surfaces show the dynamic evolution of social relationships in groups. Changes in measures of social network analys...
Peter A. Gloor