1127 search results - page 105 / 226 » Theory Extension in ACL2(r) |
145
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
To succeed in their tasks, users need to manage data with the most adequate quality levels possible according to specific data quality models. Typically, data quality assessment co...
160
click to vote
IEEEIAS
2009
IEEE
16 years 1 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
183
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
156
click to vote
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...
161
click to vote
CIKM
2009
Springer
16 years 29 days ago
2009
Springer
On photo sharing websites like Flickr and Zooomr, users are offered the possibility to assign tags to their uploaded pictures. Using these tags to find interesting groups of sem...