Sciweavers

3688 search results - page 162 / 738
» Static analysis of aspects
Sort
View
MMM
2007
Springer
108views Multimedia» more  MMM 2007»
16 years 24 days ago
Utility-Based Summarization of Home Videos
The aim of this work is to devise an effective method for static summarization of home video sequences. Based on the premise that the user watching a summary is interested in peop...
Ba Tu Truong, Svetha Venkatesh
ISDO
2000
194views Business» more  ISDO 2000»
15 years 7 months ago
Contract-Based Transaction Management in Cross-Organizational Workflow Management
Cross-organizational workflow management is an essential ingredient for process integration in virtual enterprises. To obtain cross-organizational workflow processes with robust s...
Paul W. P. J. Grefen
DAC
2006
ACM
16 years 7 months ago
Statistical timing analysis with correlated non-gaussian parameters using independent component analysis
We propose a scalable and efficient parameterized block-based statistical static timing analysis algorithm incorporating both Gaussian and non-Gaussian parameter distributions, ca...
Jaskirat Singh, Sachin S. Sapatnekar
CC
2005
Springer
153views System Software» more  CC 2005»
15 years 12 months ago
Completeness Analysis for Incomplete Object-Oriented Programs
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
Jingling Xue, Phung Hua Nguyen
COLING
2002
15 years 6 months ago
Antonymy and Conceptual Vectors
For meaning representations in NLP, we focus our attention on thematic aspects and conceptual vectors. The learning strategy of conceptual vectors relies on a morphosyntaxic analy...
Didier Schwab, Mathieu Lafourcade, Violaine Prince