5417 search results - page 691 / 1084 » Simulation Optimization: Methods and Applications |
176
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
In this paper, we propose an efficient technique to detect changes in the geometry of an urban environment using some images observing its current state. The proposed method can ...
125
click to vote
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
118
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Understanding multi-party meetings involves tasks such as dialog act segmentation and tagging, action item extraction, and summarization. In this paper we introduce a new task for...
130
click to vote
APWEB
2005
Springer
15 years 8 months ago
2005
Springer
Summarizing topological relations is fundamental to many spatial applications including spatial query optimization. In this paper, we examine the selectivity estimation for range w...
154
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...