3384 search results - page 418 / 677 » More Testable Properties |
167
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
180
click to vote
VR
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper describes an experiment conducted to study the influence of visual appearance of user’s avatar (or 3D cursor) on the manipulation of virtual objects in Virtual Enviro...
151
click to vote
VTC
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— In this contribution projection approximation subspace tracking using deflation (PASTD) is investigated in the context of MIMO transmit preprocessing systems by exploi...
146
click to vote
AUSDM
2007
Springer
16 years 25 days ago
2007
Springer
Mining High Utility Itemsets from a transaction database is to find itemsests that have utility above a user-specified threshold. This problem is an extension of Frequent Itemset ...
195
click to vote
BTW
2007
Springer
16 years 25 days ago
2007
Springer
: In many application areas like e-science and data-warehousing detailed information about the origin of data is required. This kind of information is often referred to as data pro...