Sciweavers

405 search results - page 62 / 81
» An Agent Construction Model for Ubiquitous Computing Devices
Sort
View
CALCO
2009
Springer
176views Mathematics» more  CALCO 2009»
14 years 2 months ago
Complementation of Coalgebra Automata
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
Christian Kissig, Yde Venema
COMPSAC
2008
IEEE
14 years 2 months ago
A Component-Based Model and Language for Wireless Sensor Network Applications
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
Alan Dearle, Dharini Balasubramaniam, Jonathan Lew...
ICIP
2007
IEEE
14 years 9 months ago
Robust Focused Image Estimation from Multiple Images in Video Sequences
In this paper, we propose a novel technique for estimating focused image sequences captured by an out-of-focus camera. The basic concept used in the proposed algorithm employs mul...
Junlan Yang, Dan Schonfeld, Magdi A. Mohamed
AAAI
1994
13 years 9 months ago
Learning to Reason
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
Roni Khardon, Dan Roth
PDP
2010
IEEE
14 years 2 months ago
A Light-weight API for Portable Multicore Programming
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
Christopher G. Baker, Michael A. Heroux, H. Carter...