4418 search results - page 131 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
164
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
Developing effective content recognition methods for diverse imagery continues to challenge computer vision researchers. We present a new approach for document image content catego...
151
click to vote
AAAI
2010
15 years 5 months ago
2010
In many multiagent settings, a decision must be made based on the preferences of multiple agents, and agents may lie about their preferences if this is to their benefit. In mechan...
175
click to vote
CIBSE
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
163
click to vote
MFCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper deals with updates of XML documents that satisfy a given schema, e.g., a DTD. In this context, when a given update violates the schema, it might be the case th...
174
click to vote
DAIS
2008
15 years 5 months ago
2008
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...