Sciweavers

16404 search results - page 2525 / 3281
» A set coverage problem
Sort
View
TASE
2008
IEEE
16 years 1 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
TIME
2008
IEEE
16 years 1 months ago
Representing Public Transport Schedules as Repeating Trips
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
Romans Kasperovics, Michael H. Böhlen, Johann...
VR
2008
IEEE
136views Virtual Reality» more  VR 2008»
16 years 1 months ago
Uncertainty Boundaries for Complex Objects in Augmented Reality
Registration errors between the physical world and computergenerated objects are a central problem in Augmented Reality (AR) systems. Some existing AR systems have demonstrated ho...
Jiajian Chen, Blair MacIntyre
WACV
2008
IEEE
16 years 1 months ago
A Vision-Based System For Automatic Detection and Extraction Of Road Networks
In this paper we present a novel vision-based system for automatic detection and extraction of complex road networks from various sensor resources such as aerial photographs, sate...
Charalambos Poullis, Suya You, Ulrich Neumann
WCNC
2008
IEEE
16 years 1 months ago
User Assignment for MIMO-OFDM Systems with Multiuser Linear Precoding
— Recent work has developed single-carrier linear precoding for the multiuser downlink for multiple-input multipleoutput (MIMO) systems. This paper addresses the problem of user ...
Hassen Karaa, Raviraj S. Adve
« Prev « First page 2525 / 3281 Last » Next »