Sciweavers

26071 search results - page 343 / 5215
» Making
Sort
View
CAISE
2006
Springer
15 years 10 months ago
An Architecture for a Semantic Portal
Abstract. Current Web applications provide their information and functionalities to human users only. To make Web applications also accessible for machines, the Semantic Web propos...
Gerald Reif, Harald Gall
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 10 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
DSN
2004
IEEE
15 years 10 months ago
Fault Detection and Isolation Techniques for Quasi Delay-Insensitive Circuits
This paper presents a novel circuit fault detection and isolation technique for quasi delay-insensitive asynchronous circuits. We achieve fault isolation by a combination of physi...
Christopher LaFrieda, Rajit Manohar
EH
2004
IEEE
125views Hardware» more  EH 2004»
15 years 10 months ago
Routine High-Return Human-Competitive Evolvable Hardware
This paper reviews the use of genetic programming as an automated invention machine for the synthesis of both the topology and sizing of analog electrical circuits. The paper focu...
John R. Koza, Martin A. Keane, Matthew J. Streeter
CIVR
2006
Springer
139views Image Analysis» more  CIVR 2006»
15 years 10 months ago
Using High-Level Semantic Features in Video Retrieval
Extraction and utilization of high-level semantic features are critical for more effective video retrieval. However, the performance of video retrieval hasn't benefited much d...
Wujie Zheng, Jianmin Li, Zhangzhang Si, Fuzong Lin...