262 search results - page 43 / 53 » Making Specifications Complete Through Models |
127
click to vote
SPIESR
2003
15 years 1 months ago
2003
One of the major challenges facing current media management systems and related applications is the so-called ‘‘semantic gap’’ between the rich meaning that a user desires...
BMCBI
2008
14 years 11 months ago
2008
Background: Last years' mapping of diverse genomes has generated huge amounts of biological data which are currently dispersed through many databases. Integration of the info...
WWW
2006
ACM
16 years 11 days ago
2006
ACM
We introduce the notion of query substitution, that is, generating a new query to replace a user's original search query. Our technique uses modifications based on typical su...
CONCUR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Admission control as a mechanism for providing QoS requires an accurate description of the requested flow as well as already admitted flows. Since 802.11 WLAN capacity is shared...