Sciweavers

2687 search results - page 340 / 538
» On the Conversion between Number Systems
Sort
View
FM
2009
Springer
123views Formal Methods» more  FM 2009»
16 years 1 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
ICB
2009
Springer
191views Biometrics» more  ICB 2009»
16 years 1 months ago
On Decomposing an Unseen 3D Face into Neutral Face and Expression Deformations
This paper presents a technique for decomposing an unseen 3D face under any facial expression into an estimated 3D neutral face and expression deformations (the shape residue betwe...
Faisal R. Al-Osaimi, Mohammed Bennamoun, Ajmal S. ...
KESAMSTA
2009
Springer
16 years 1 months ago
An Approximate Model for Bidders in Sequential Automated Auctions
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
Erol Gelenbe, Kumaara Velan
RR
2009
Springer
16 years 1 months ago
Distributed Resolution for Expressive Ontology Networks
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
Anne Schlicht, Heiner Stuckenschmidt
PETRA
2009
ACM
16 years 29 days ago
Towards automated large vocabulary gesture search
This paper describes work towards designing a computer vision system for helping users look up the meaning of a sign. Sign lookup is treated as a video database retrieval problem....
Alexandra Stefan, Haijing Wang, Vassilis Athitsos