Sciweavers

6583 search results - page 874 / 1317
» Semantic Analysis Patterns
Sort
View
HYBRID
2005
Springer
16 years 11 days ago
Interchange Formats for Hybrid Systems: Review and Proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
Alessandro Pinto, Alberto L. Sangiovanni-Vincentel...
168
Voted
KDD
2005
ACM
163views Data Mining» more  KDD 2005»
16 years 11 days ago
Web mining from competitors' websites
This paper presents a framework for user-oriented text mining. It is then illustrated with an example of discovering knowledge from competitors’ websites. The knowledge to be di...
Xin Chen, Yi-fang Brook Wu
ESORICS
2004
Springer
16 years 7 days ago
An Algebra for Composing Enterprise Privacy Policies
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
Michael Backes, Markus Dürmuth, Rainer Steinw...
197
Voted
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
16 years 4 days ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
157
Voted
MIR
2003
ACM
147views Multimedia» more  MIR 2003»
16 years 3 days ago
Model checking for detection of sport highlights
Automatic semantic annotation of sports video requires that the domain knowledge is properly included and exploited in the annotation process and that low and intermediate-level f...
Marco Bertini, Alberto Del Bimbo, Walter Nunziati