2766 search results - page 395 / 554 » Hybridizing a Logical Framework |
136
click to vote
IJDAR
2007
15 years 4 months ago
2007
In this paper, based on the study of the specificity of historical printed books, we first explain the main error sources in classical methods used for page layout analysis. We sho...
163
click to vote
TCAD
2008
15 years 4 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
148
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...
194
click to vote
CORR
2012
Springer
14 years 6 days ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
154
click to vote
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
Abstract—This paper describes and compares alternative architectures for achieving the functional goals of name oriented networking. The CCN (content-centric network) scheme prop...