292 search results - page 6 / 59 » Proving Consistency of Pure Methods and Model Fields |
193
click to vote
3DIM
2003
IEEE
16 years 21 days ago
2003
IEEE
When we use range finders to observe the shape of an object, many occluded areas may occur. These become holes and gaps in the model and make it undesirable to utilize the model ...
210
Voted
WINE
2009
Springer
16 years 2 months ago
2009
Springer
Recent results regarding games with congestion-averse utilities (or, congestion-averse games—CAGs) have shown they possess some very desirable properties. Specifically, they hav...
176
Voted
DAGM
2005
Springer
16 years 29 days ago
2005
Springer
A fully automatic method to extract field boundaries from imagery is described in this paper. The fields are represented together with additional prior knowledge in the form of GIS...
228
click to vote
FMCAD
2004
Springer
16 years 24 days ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
201
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Recent work in supervised learning of term-based retrieval models has shown significantly improved accuracy can often be achieved via better model estimation [2, 10, 11, 17]. In ...