5550 search results - page 376 / 1110 » Different Approaches to Proof Systems |
171
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
187
click to vote
EMISA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract Due to the growing importance of alignment, compliance and manageability issues, increased attention is being paid to architectures and architecture management recently. A...
204
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...
278
click to vote
EMNLP
2006
15 years 8 months ago
2006
We describe a probabilistic approach to content selection for meeting summarization. We use skipchain Conditional Random Fields (CRF) to model non-local pragmatic dependencies bet...
157
click to vote
TSMC
2002
15 years 6 months ago
2002
Theproblemofautomateddefectdetectionintextured materials is investigated. A new approach for defect detection using linearFIRfilterswithoptimizedenergyseparationisproposed.Performa...