Sciweavers

5030 search results - page 286 / 1006
» cases 2007
Sort
View
WADS
2007
Springer
114views Algorithms» more  WADS 2007»
16 years 1 months ago
Improved Algorithms for the Feedback Vertex Set Problems
Abstract. We present improved parameterized algorithms for the Feedback Vertex Set problem on both unweighted and weighted graphs. Both algorithms run in time O(5k kn2 ). The algor...
Jianer Chen, Fedor V. Fomin, Yang Liu 0002, Songji...
WAPCV
2007
Springer
16 years 1 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
WINE
2007
Springer
112views Economy» more  WINE 2007»
16 years 1 months ago
Personalized Ad Delivery When Ads Fatigue: An Approximation Algorithm
We consider a crucial aspect of displaying advertisements on the internet: the individual user. In particular, we consider ad fatigue, where a user tires of an advertisement as it ...
Zoë Abrams, Erik Vee
ACMICEC
2007
ACM
114views ECommerce» more  ACMICEC 2007»
15 years 11 months ago
A service system design approach for ITV banking
The design of Interactive TV services is in an experimental phase. The design of these services needs a more structured approach that enables the actors involved to cooperate and ...
Els vandekar, Jessica Groeneweg
CSL
2007
Springer
15 years 11 months ago
Comparing the Expressive Power of Well-Structured Transition Systems
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van...