3909 search results - page 528 / 782 » Extreme Model Checking |
169
click to vote
SASO
2007
IEEE
16 years 17 days ago
2007
IEEE
Managing demand for electrical energy allows generation facilities to be run more efficiently. Current systems allow for management between large industrial consumers. There is, ...
171
click to vote
3DPVT
2006
IEEE
16 years 11 days ago
2006
IEEE
Building footprints have been shown to be extremely useful in urban planning, infrastructure development, and roof modeling. Current methods for creating these footprints are ofte...
266
click to vote
ICARCV
2006
IEEE
16 years 10 days ago
2006
IEEE
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
167
click to vote
ITNG
2006
IEEE
16 years 9 days ago
2006
IEEE
Network distance, measured as round-trip latency between hosts, is important for the performance of many Internet applications. For example, nearest server selection and proximity...
162
click to vote
P2P
2006
IEEE
16 years 9 days ago
2006
IEEE
Recently there has been an increasing interest to harness the potential of P2P technology to design and build rich environments where services are provided and multiple applicatio...