4666 search results - page 727 / 934 » Equations on Timed Languages |
125
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of designing truthful auctions, when the bidders' valuations have a public and a private component. In particular, we consider combinatorial auctions w...
125
click to vote
CN
2006
15 years 4 months ago
2006
RDF is one of the technologies proposed to realise the vision of the Semantic Web and it is being increasingly used in distributed web-based applications. The use of RDF in applic...
156
Voted
IJCSA
2006
15 years 4 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
128
click to vote
JCC
2008
15 years 4 months ago
2008
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...
131
click to vote
TOG
2008
15 years 4 months ago
2008
A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establ...