Sciweavers

4745 search results - page 127 / 949
» Discretization: An Enabling Technique
Sort
View
AICOM
2006
129views more  AICOM 2006»
15 years 6 months ago
A backjumping technique for Disjunctive Logic Programming
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
Francesco Ricca, Wolfgang Faber, Nicola Leone
ICDE
2006
IEEE
146views Database» more  ICDE 2006»
16 years 7 months ago
Query Selection Techniques for Efficient Crawling of Structured Web Sources
The high quality, structured data from Web structured sources is invaluable for many applications. Hidden Web databases are not directly crawlable by Web search engines and are on...
Ping Wu, Ji-Rong Wen, Huan Liu, Wei-Ying Ma
VIS
2007
IEEE
132views Visualization» more  VIS 2007»
16 years 7 months ago
Registration Techniques for Using Imperfect and Partially Calibrated Devices in Planar Multi-Projector Displays
Abstract-- Multi-projector displays today are automatically registered, both geometrically and photometrically, using cameras. Existing registration techniques assume pre-calibrate...
Ezekiel Bhasker, Ray Juang, Aditi Majumder
ISCAS
2006
IEEE
90views Hardware» more  ISCAS 2006»
16 years 12 days ago
Phase measurement and adjustment of digital signals using random sampling technique
—This paper introduces a technique to measure and adjust the relative phase of on-chip high speed digital signals using a random sampling technique of inferential statistics. The...
Rashed Zafar Bhatti, Monty Denneau, Jeff Draper
SIGCSE
2006
ACM
150views Education» more  SIGCSE 2006»
16 years 10 days ago
Pedagogical techniques supported by the use of student devices in teaching software engineering
This paper describes our experiences in promoting a learning environment where active student involvement and interaction, as well as openness to diversity of ideas are supported ...
Valentin Razmov, Richard J. Anderson