659 search results - page 83 / 132 » Binding as sets of scopes |
123
Voted
FPGA
2009
ACM
15 years 7 months ago
2009
ACM
We describe an optimization method for combinational and sequential logic networks, with emphasis on scalability and the scope of optimization. The proposed resynthesis (a) is cap...
109
click to vote
CSIE
2009
IEEE
15 years 7 months ago
2009
IEEE
Topographic maps are an appealing exploratory instrument for discovering new knowledge from databases. During the past years, new types of Self Organizing Maps (SOM) were introduc...
118
click to vote
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Social tagging systems have recently emerged as an effective way for users to annotate and organize large collections of resources on the Web. Moreover, they also facilitate an e...
104
Voted
ECTEL
2009
Springer
15 years 7 months ago
2009
Springer
The work described is part of an ongoing interdisciplinary collaboration between two research teams of the University of Patras, Greece and the University of Freiburg, Germany, whi...
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....