Sciweavers

1965 search results - page 244 / 393
» On the analysis of interacting pushdown systems
Sort
View
ASPLOS
2006
ACM
14 years 4 months 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»
14 years 5 months 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...
CAISE
2009
Springer
14 years 4 months 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»
14 years 4 months 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»
14 years 3 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