Sciweavers

11739 search results - page 434 / 2348
» Slideshow: functional presentations
Sort
View
203
Voted
FLOPS
2008
Springer
15 years 9 months ago
Proving Properties about Lists Using Containers
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
Rawle Prince, Neil Ghani, Conor McBride
FPL
2008
Springer
91views Hardware» more  FPL 2008»
15 years 9 months ago
Power efficient DSP datapath configuration methodology for FPGA
Exploiting the underutilisation of variable-length DSP algorithms during normal operation is vital, when seeking to maximise the achievable functionality of an application within ...
Stephen McKeown, Roger Woods, John McAllister
AAAI
2010
15 years 9 months ago
Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
Sébastien Lahaie
AIA
2007
15 years 9 months ago
Plan-based assistance in the webbrowser firefox
We present a developed function library named pbifSystem which will allow for remote control of the webbrowser Firefox. Instead of controlling the browser through general pc input...
T. A. Bertz, Peter Reiss
DICTA
2007
15 years 9 months ago
An in Depth Comparison of Four Texture Segmentation Methods
Texture segmentation is the process of partitioning an image into regions with different textures containing similar group of pixels. This paper presents a comparative study of fo...
Vamsi Krishna Madasu, Prasad K. D. V. Yarlagadda