2488 search results - page 463 / 498 » An improvement in formal verification |
113
click to vote
ACL
2009
14 years 11 months ago
2009
Efficiency is a prime concern in syntactic MT decoding, yet significant developments in statistical parsing with respect to asymptotic efficiency haven't yet been explored in...
114
click to vote
ICWE
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper presents an approach for monitoring several important aspects related to user behaviour during the execution of Web tasks1 . The approach includes the tracking...
154
click to vote
BMVC
2010
14 years 8 months ago
2010
Specular flow is an important class of optical flow whose utility in visual tasks has gained much interest in contemporary vision research. Unfortunately, however, reliably estima...
114
click to vote
JCS
2011
14 years 8 months ago
2011
Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which lead...
194
click to vote
TCAD
2011
14 years 8 months ago
2011
Abstract—This work introduces GRIP, a global routing technique via integer programming. GRIP optimizes wirelength and via cost directly without going through a traditional layer ...