6704 search results - page 320 / 1341 » Testing Scenario-Based Models |
182
click to vote
QEST
2006
IEEE
16 years 22 days ago
2006
IEEE
New mobile access networks provide reasonable high bandwidth to allow true internet access. This paper models two dominant applications of those networks. One application, WAP, is...
221
click to vote
CIVR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
176
click to vote
WEBI
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents a Domain Modeling System, which builds a domain model framework for adaptive Web systems. It records concepts and the relationships among them and represents t...
172
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
158
click to vote
PPSN
2004
Springer
16 years 2 days ago
2004
Springer
The investigation of evolutionary algorithms as adaptation schemes has a long history starting with Holland (1975). The Ising model from physics leads to a variety of different pr...