Sciweavers

3931 search results - page 472 / 787
» Separation logic and abstraction
Sort
View
ICONIP
2008
15 years 8 months ago
An Integrated System for Incremental Learning of Multiple Visual Categories
Abstract. We present a biologically inspired vision system able to incrementally learn multiple visual categories by interactively presenting several hand-held objects. The overall...
Stephan Kirstein, Heiko Wersing, Horst-Michael Gro...
IPCO
2008
221views Optimization» more  IPCO 2008»
15 years 8 months ago
A Comparative Study of Linear and Semidefinite Branch-and-Cut Methods for Solving the Minimum Graph Bisection Problem
Abstract. Semidefinite relaxations are known to deliver good approximations for combinatorial optimization problems like graph bisection. Using the spectral bundle method it is pos...
Michael Armbruster, Marzena Fügenschuh, Chris...
IWEC
2007
15 years 8 months ago
Game Design Guided by Visual Attention
Abstract. Visual attention plays a critical role in game playing. A better understanding of the allocation of visual attention can benefit the design of game scenarios. In this pa...
Li Jie, James J. Clark
EHCI
2004
15 years 8 months ago
Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand
Ubiquitous computing requires a multitude of devices to have access ame services. Abstract specifications of user interfaces are designed to separate the definition of a user inter...
Stephen W. Gilroy, Michael D. Harrison
ECIR
2006
Springer
15 years 8 months ago
Improving Quality of Search Results Clustering with Approximate Matrix Factorisations
Abstract. In this paper we show how approximate matrix factorisations can be used to organise document summaries returned by a search engine into meaningful thematic categories. We...
Stanislaw Osinski