7167 search results - page 1214 / 1434 » A Technique for Invariant Generation |
204
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
203
click to vote
IJRR
2011
15 years 2 months ago
2011
The task of teleoperating a robot over a wireless video link is known to be very difficult. Teleoperation becomes even more difficult when the robot is surrounded by dense obstac...
256
click to vote
PAMI
2011
15 years 2 months ago
2011
—We show that, via temporal modulation, one can observe and capture a high-speed periodic video well beyond the abilities of a low-frame-rate camera. By strobing the exposure wit...
228
click to vote
TVCG
2011
15 years 2 months ago
2011
—We present an application of interactive global illumination and spatially augmented reality to architectural daylight modeling that allows designers to explore alternative desi...
233
click to vote
JDCTA
2010
15 years 2 months ago
2010
With the rapid development of Service-Oriented Architecture (SOA) and Service-Oriented Computing (SOC), the Quality of Service (QoS) is more and more essential than before. There ...