2642 search results - page 506 / 529 » Improving the quality of software quality determination proc... |
167
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
168
click to vote
ERCIMDL
2004
Springer
15 years 11 months ago
2004
Springer
Because of recent advances in graphics hard- and software, both the production and use of 3D models are increasing at a rapid pace. As a result, a large number of 3D models have be...
151
click to vote
SELMAS
2004
Springer
15 years 11 months ago
2004
Springer
The development of Multi-Agent Systems (MASs) involves special concerns, such as interaction, adaptation, autonomy, among others. Many of these concerns are overlapping, crosscut e...
187
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
188
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
All practical wireless communication systems are prone to errors. At the symbol level such wireless errors have a well-defined structure: when a receiver decodes a symbol erroneou...