5550 search results - page 626 / 1110 » Different Approaches to Proof Systems |
191
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
In most previous NPR line rendering systems, geometric properties have been directly used to extract and stylize certain edges. However, this approach is bound to a tight stylizat...
215
click to vote
JSAC
2006
15 years 7 months ago
2006
This tutorial paper overviews recent developments in optimization-based approaches for resource allocation problems in wireless systems. We begin by overviewing important results i...
224
click to vote
AI
2000
Springer
15 years 7 months ago
2000
Springer
We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, und...
233
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Deep Web contents are accessed by queries submitted to Web databases and the returned data records are enwrapped in dynamically generated Web pages (they will be called deep Web...
223
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract— In recent years, XML-based Publish-Subscribe Systems have become popular due to the increased demand of timely event-notification. Users (or subscribers) pose complex ...