Sciweavers

748 search results - page 104 / 150
» Automatic Presentations and Semigroup Constructions
Sort
View
ICDCS
2009
IEEE
14 years 3 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 3 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 3 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 3 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
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
14 years 3 months ago
Learning sequential visual attention control through dynamic state space discretization
² Similar to humans and primates, artificial creatures like robots are limited in terms of allocation of their resources to huge sensory and perceptual information. Serial process...
Ali Borji, Majid Nili Ahmadabadi, Babak Nadjar Ara...