1312 search results - page 95 / 263 » Formally Optimal Boxing |
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
ECCV
2004
Springer
14 years 11 months ago
2004
Springer
The quality of image stitching is measured by the similarity of the stitched image to each of the input images, and by the visibility of the seam between the stitched images. In or...
ARC
2009
Springer
14 years 4 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
FORMATS
2006
Springer
14 years 26 days ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...