1456 search results - page 270 / 292 » Two Techniques to Improve Finite Model Search |
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
Object-oriented database OODB users bring with them large quantities of legacy data megabytes and even gigabytes. In addition, scienti c OODB users continually generate new data. ...
ASWEC
2008
IEEE
13 years 9 months ago
2008
IEEE
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
EURONGI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The integration of mobile ad hoc networks into IP-based access networks demands the presence of a gateway which is responsible for propagating some configuration paramete...
RSS
2007
13 years 9 months ago
2007
— Matching laser range scans observed at different points in time is a crucial component of many robotics tasks, including mobile robot localization and mapping. While existing t...
ECCV
2010
Springer
13 years 8 months ago
2010
Springer
We present a novel variational method for the simultaneous estimation of dense scene flow and structure from stereo sequences. In contrast to existing approaches that rely on a ful...