Sciweavers

7961 search results - page 1053 / 1593
» Input-Output Model Programs
Sort
View
SEMWEB
2007
Springer
16 years 1 months ago
Potluck: Semi-Ontology Alignment for Casual Users
Potluck is a web user interface (Figure 1) that lets casual users— those without programming skills and data modeling expertise—merge and repurpose heterogeneous Semantic Web d...
David F. Huynh, Robert C. Miller, David R. Karger
TGC
2007
Springer
16 years 1 months ago
Transactional Service Level Agreement
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
Maria Grazia Buscemi, Hernán C. Melgratti
3DPVT
2006
IEEE
233views Visualization» more  3DPVT 2006»
16 years 1 months ago
Scanline Optimization for Stereo on Graphics Hardware
In this work we propose a scanline optimization procedure for computational stereo using a linear smoothness cost model performed by programmable graphics hardware. The main idea ...
Christopher Zach, Mario Sormann, Konrad F. Karner
ACSD
2006
IEEE
80views Hardware» more  ACSD 2006»
16 years 1 months ago
Schedulability Analysis of Petri Nets Based on Structural Properties
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Albe...
ICRA
2006
IEEE
98views Robotics» more  ICRA 2006»
16 years 1 months ago
Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots
Abstract—Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses s...
Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo
« Prev « First page 1053 / 1593 Last » Next »