4378 search results - page 556 / 876 » On the Complexity of Ordered Colourings |
200
click to vote
SOCO
2007
Springer
16 years 27 days ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
173
click to vote
WINE
2007
Springer
16 years 27 days ago
2007
Springer
The choice of a bidding language is crucial in auction design in order to correctly capture bidder utilities. We propose a new bidding model for the Adwords auctions of search eng...
153
click to vote
3DPVT
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, we propose a visual hull algorithm, which guarantees a correct construction even in the presence of partial occlusion, while “correct” here means that the real ...
182
click to vote
ACSC
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
201
click to vote
AHS
2006
IEEE
16 years 26 days ago
2006
IEEE
To increase the flexibility of single-chip evolvable hardware systems, we explore possibilities of systems with the evolutionary algorithm implemented in software on an onchip pr...