15888 search results - page 2813 / 3178 » Supporting human-intensive systems |
156
click to vote
AIRS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...
131
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
119
click to vote
APPROX
2007
Springer
15 years 8 months ago
2007
Springer
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...
142
click to vote
ARGMAS
2007
Springer
15 years 8 months ago
2007
Springer
Argumentation can serve as an effective computational tool and as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further ...
214
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...