Sciweavers

2061 search results - page 188 / 413
» The continuous knapsack set
Sort
View
DOCENG
2007
ACM
15 years 8 months ago
Declarative extensions of XML languages
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
Simon J. Thompson, Peter R. King, Patrick Schmitz
FORMATS
2007
Springer
15 years 8 months ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort
167
Voted
DEBS
2009
ACM
15 years 8 months ago
Efficient event-based resource discovery
The ability to find services or resources that satisfy some criteria is an important aspect of distributed systems. This paper presents an event-based architecture to support more...
Wei Yan, Songlin Hu, Vinod Muthusamy, Hans-Arno Ja...
3DPVT
2004
IEEE
131views Visualization» more  3DPVT 2004»
15 years 8 months ago
Viewpoint Consistent Texture Synthesis
The purpose of this work is to synthesize textures of rough, real world surfaces under freely chosen viewing and illumination directions. Moreover, such textures are produced for ...
Alexander Neubeck, Alexey Zalesny, Luc J. Van Gool
CLEAR
2006
Springer
196views Biometrics» more  CLEAR 2006»
15 years 8 months ago
PittPatt Face Detection and Tracking for the CLEAR 2006 Evaluation
Abstract. This paper describes Pittsburgh Pattern Recognition's participation in the face detection and tracking tasks for the CLEAR 2006 evaluation. We first give a system ov...
Michael C. Nechyba, Henry Schneiderman