2935 search results - page 512 / 587 » An Integrated Approach to High Integrity Software Verificati... |
159
click to vote
ISPD
2004
ACM
15 years 10 months ago
2004
ACM
Modern processors and SoCs require the adoption of poweroriented design styles, due to the implications that power consumption may have on reliability, cost and manufacturability ...
125
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Conventional low frame rate cameras result in blur and/or aliasing in images while capturing fast dynamic events. Multiple low speed cameras have been used previously with stagger...
161
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
This proposal explores a unified framework to solve Semantic Web tasks that often require similarity measures, such as RDF retrieval, ontology alignment, and semantic service match...
136
click to vote
ACL
2007
15 years 5 months ago
2007
We describe an open-source toolkit for statistical machine translation whose novel contributions are (a) support for linguistically motivated factors, (b) confusion network decodi...
129
click to vote
ECIS
2004
15 years 5 months ago
2004
The banking landscape in Europe and Germany has a polypolistic market structure with an average vertical range of integration of 80%, implying high process redundancies. Accumulat...