9842 search results - page 1577 / 1969 » Problem complexity |
191
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
Following the definition of developable surface in differential geometry, the flattenable mesh surface, a special type of piecewiselinear surface, inherits the good property of ...
213
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
162
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
246
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper considers a scenario in which a secondary user makes opportunistic use of a channel allocated to some primary network. The primary network operates in a time-slotted ma...
233
click to vote
WACV
2008
IEEE
16 years 1 months ago
2008
IEEE
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...