Sciweavers

2602 search results - page 260 / 521
» Semantic Analysis of 'to'
Sort
View
ICIP
2005
IEEE
16 years 8 months ago
Spatio-temporal attention model for video content analysis
This paper presents a new model of human attention that allows salient areas to be extracted from video frames. As automatic understanding of video semantic content is still far fr...
Mickael Guironnet, Nathalie Guyader, Denis Pelleri...
280
Voted
ICDE
2007
IEEE
182views Database» more  ICDE 2007»
16 years 8 months ago
Discriminative Frequent Pattern Analysis for Effective Classification
The application of frequent patterns in classification appeared in sporadic studies and achieved initial success in the classification of relational data, text documents and graph...
Hong Cheng, Xifeng Yan, Jiawei Han, Chih-Wei Hsu
DAC
2006
ACM
16 years 7 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
PODS
2008
ACM
110views Database» more  PODS 2008»
16 years 6 months ago
Static analysis of active XML systems
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
Serge Abiteboul, Luc Segoufin, Victor Vianu
ICSE
2003
IEEE-ACM
16 years 6 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...