2048 search results - page 107 / 410 » Intelligent search techniques for large software systems |
172
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
134
click to vote
WICSA
2008
15 years 5 months ago
2008
Software architecture practice is highly complex. Software architects interact with business as well as technical aspects of systems, often embedded in large and changing organiza...
144
click to vote
MMM
2006
Springer
15 years 10 months ago
2006
Springer
Similarity search in large multimedia databases is an important issue in nowadays multimedia environment. Multimedia objects such as music videos usually consist of multiple repre...
132
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Bayesian games can be used to model single-shot decision problems in which agents only possess incomplete information about other agents, and hence are important for multiagent co...
148
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
The ability of fast similarity search at large scale is of great importance to many Information Retrieval (IR) applications. A promising way to accelerate similarity search is sem...