Sciweavers

1827 search results - page 250 / 366
» Automatic thesaurus construction
Sort
View
ICDCS
2009
IEEE
14 years 5 months ago
Explicit Batching for Distributed Objects
Although distributed object systems, for example RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually...
Eli Tilevich, William R. Cook, Yang Jiao
EVOW
2009
Springer
14 years 5 months ago
Evolving Approximate Image Filters
Image filtering involves taking a digital image and producing a new image from it. In software packages such as Adobe’s Photoshop, image filters are used to produce artistic ve...
Simon Colton, Pedro Torres
EVOW
2009
Springer
14 years 5 months ago
Humorized Computational Intelligence towards User-Adapted Systems with a Sense of Humor
This paper investigates the role of humor in non-task oriented (topic restriction free) human-computer dialogue, as well as the correlation between humor and emotions elicited by i...
Pawel Dybala, Michal Ptaszynski, Rafal Rzepka, Ken...
VMCAI
2009
Springer
14 years 5 months ago
Synthesizing Switching Logic Using Constraint Solving
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
Ankur Taly, Sumit Gulwani, Ashish Tiwari
GLVLSI
2009
IEEE
131views VLSI» more  GLVLSI 2009»
14 years 5 months ago
Octilinear redistributive routing in bump arrays
This paper proposes a scheme for automatic re-distribution layer (RDL) routing, which is used in chip-package connections. Traditional RDL routing designs are mostly performed man...
Renshen Wang, Chung-Kuan Cheng