3005 search results - page 467 / 601 » Logical Information Systems: from Taxonomies to Logics |
203
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
167
click to vote
SMC
2007
IEEE
16 years 22 days ago
2007
IEEE
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...
199
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Physical Unclonable Functions (PUFs) based on Ring Oscillators (ROs) are a promising primitive for FPGA security. However, the quality of their implementation depends on several d...
151
click to vote
TVCG
2011
15 years 1 months ago
2011
—Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place t...
186
click to vote
APWEB
2005
Springer
16 years 16 hour ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...