6978 search results - page 1326 / 1396 » On Proofs in System P |
BSN
2009
IEEE
14 years 3 months ago
2009
IEEE
— Interval training consists of interl intensity exercises with rest periods. This training well known exercise protocol which helps stre improve one’s cardiovascular fitness. ...
ECCV
2004
Springer
14 years 11 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
To leave the maximum flexibility in encoder to optimize the trade-off between coding performance and complexity, in video coding standards such as H.264/AVC [1], H.263 [2] and MPE...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
As the use of Electronic Medical Records (EMRs) becomes more widespread, so does the need for effective information discovery on them. Recently proposed EMR standards are XML-based...
ICDE
2005
IEEE
14 years 10 months ago
2005
IEEE
Query processing in traditional information management systems has moved from an exact match model to more flexible paradigms allowing cooperative retrieval by aggregating the dat...