Sciweavers

6431 search results - page 350 / 1287
» Model Building by Resolution
Sort
View
DIS
2007
Springer
16 years 27 days ago
A Consequence Finding Approach for Full Clausal Abduction
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
Oliver Ray, Katsumi Inoue
BROADNETS
2006
IEEE
16 years 24 days ago
Design and Dimensioning of a Novel composite-star WDM Network with TDM Channel Partitioning
— This paper presents the design and dimensioning optimization of a novel optical network structure, called the Petaweb, having a total capacity of several Pb/s (1015 bit/s). Its...
Stefano Secci, Brunilde Sansò
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
16 years 23 days ago
Syndrome-Based Light-Weight Video Coding for Mobile Wireless Application
In conventional video coding, the complexity of an encoder is generally much higher than that of a decoder because of operations such as motion estimation consume significant com...
Min Wu, Guogang Hua, Chang Chen
TABLETOP
2006
IEEE
16 years 22 days ago
Experiences with and Observations of Direct-Touch Tabletops
The design of multi-touch multi-user tabletop user interfaces is still in its infancy and is not yet well understood. To date, published experimental results have primarily focuse...
Kathy Ryall, Clifton Forlines, Chia Shen, Meredith...
ASPDAC
2006
ACM
122views Hardware» more  ASPDAC 2006»
16 years 21 days ago
IEEE standard 1500 compatible interconnect diagnosis for delay and crosstalk faults
– We propose an interconnect diagnosis scheme based on Oscillation Ring test methodology for SOC design with heterogeneous cores. The target fault models are delay faults and cro...
Katherine Shu-Min Li, Yao-Wen Chang, Chauchin Su, ...