Sciweavers

706 search results - page 111 / 142
» An Integer Linear Programming Approach to Database Design
Sort
View
129
Voted
PODS
2007
ACM
171views Database» more  PODS 2007»
16 years 2 months ago
Monadic datalog over finite structures with bounded treewidth
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...
Georg Gottlob, Reinhard Pichler, Fang Wei
ICALP
1998
Springer
15 years 6 months ago
A Neuroidal Architecture for Cognitive Computation
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
Leslie G. Valiant
DEXAW
2008
IEEE
113views Database» more  DEXAW 2008»
15 years 9 months ago
Gestures, Shapes and Multitouch Interaction
Abstract—We discuss issues related to the design of a multitouch gesture sensing environment, allowing the user to execute both independent and coordinated gestures. We discuss d...
Augusto Celentano, Andrea Minuto
AB
2007
Springer
15 years 6 months ago
Efficient Haplotype Inference with Pseudo-boolean Optimization
Abstract. Haplotype inference from genotype data is a key computational problem in bioinformatics, since retrieving directly haplotype information from DNA samples is not feasible ...
Ana Graça, João Marques-Silva, In&ec...
116
Voted
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
15 years 8 months ago
Integrated placement and skew optimization for rotary clocking
—The clock distribution network is a key component of any synchronous VLSI design. High power dissipation and pressure volume temperature-induced variations in clock skew have st...
Ganesh Venkataraman, Jiang Hu, Frank Liu, Cliff C....