Sciweavers

41472 search results - page 8004 / 8295
» or 2006
Sort
View
103
Voted
ATAL
2006
Springer
15 years 4 months ago
A Comparison of Sequential and Simultaneous Auctions
Sequential and simultaneous auctions are two important mechanisms for buying/selling multiple objects. These two mechanisms yield different outcomes (i.e., different revenues and a...
S. Shaheen Fatima
ATC
2006
Springer
15 years 4 months ago
Ubisafe Computing: Vision and Challenges (I)
In recent years, a variety of new computing paradigms have been proposed for various purposes. It is true that many of them intend to and really can gratify some of the people some...
Jianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde ...
102
Voted
ATVA
2006
Springer
102views Hardware» more  ATVA 2006»
15 years 4 months ago
A Semantic Framework for Test Coverage
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
Laura Brandán Briones, Ed Brinksma, Mari&eu...
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
15 years 4 months ago
Predicate Abstraction of Programs with Non-linear Computation
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
Songtao Xia, Ben Di Vito, César Muño...
AUSAI
2006
Springer
15 years 4 months ago
Turkish Fingerspelling Recognition System Using Axis of Least Inertia Based Fast Alignment
Fingerspelling is used in sign language to spell out names of people and places for which there is no sign or for which the sign is not known. In this work we describe a Turkish fi...
Oguz Altun, Songül Albayrak, Ali Ekinci, Behz...
« Prev « First page 8004 / 8295 Last » Next »