5216 search results - page 924 / 1044 » Planning as Model Checking |
128
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Today, the means for attaining competitive advantage with information technology (IT) has shifted from efficiently managing the organization's operations to discovering ways ...
140
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Wireless sensor networks (WSNs) deployed for missioncritical applications face the fundamental challenge of meeting stringent spatiotemporal performance requirements using nodes w...
137
click to vote
ISMAR
2008
IEEE
15 years 9 months ago
2008
IEEE
Field workers of utility companies are regularly engaged in outdoor tasks such as network planning, maintenance and inspection of underground infrastructure. Redlining is the term...
154
Voted
SASO
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— On the one hand, natural phenomena of spontaneous pattern formation are generally random and repetitive, whereas, on the other hand, complicated heterogeneous architect...
134
click to vote
VR
2008
IEEE
15 years 9 months ago
2008
IEEE
The rapid and efficient creation of virtual environments has become a crucial part of virtual reality applications. In particular, civil and defense applications often require an...