14783 search results - page 2845 / 2957 » Quantum Information Processing |
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
WINE
2005
Springer
14 years 3 months ago
2005
Springer
This paper takes the first steps towards designing incentive compatible mechanisms for hierarchical decision making problems involving selfish agents. We call these Stackelberg p...
DOCENG
2004
ACM
14 years 3 months ago
2004
ACM
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...
MM
2004
ACM
14 years 3 months ago
2004
ACM
Image annotations allow users to access a large image database with textual queries. There have been several studies on automatic image annotation utilizing machine learning techn...