2138 search results - page 393 / 428 » Logical Step-Indexed Logical Relations |
126
click to vote
JUCS
2007
15 years 4 months ago
2007
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
123
click to vote
CGF
2004
15 years 4 months ago
2004
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
145
click to vote
ISQED
2011
IEEE
14 years 8 months ago
2011
IEEE
With continuous scaling of transistors in each technology generation, NBTI and Process Variation (PV) have become very important silicon reliability problems for the microprocesso...
238
click to vote
FPGA
2011
ACM
14 years 7 months ago
2011
ACM
FPGAs have been used in many applications to achieve orders-of-magnitude improvement in absolute performance and energy efficiency relative to conventional microprocessors. Despit...
218
click to vote
ICAIL
2011
ACM
14 years 3 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...