3005 search results - page 63 / 601 » Logical Information Systems: from Taxonomies to Logics |
100
click to vote
CIE
2007
Springer
15 years 6 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
120
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
117
click to vote
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
Traditional FPGA design flows have treated logic synthesis and physical design as separate steps. With the recent advances in technology, the lack of information on the physical ...
IJDAR
2006
14 years 12 months ago
2006
Structure analysis of table form documents is an important issue because a printed document and even an electronic document do not provide logical structural information but merely...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...