3742 search results - page 494 / 749 » On the Use of Formal Techniques for Validation |
186
click to vote
MOBIWAC
2006
ACM
16 years 17 days ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
155
click to vote
SIGIR
2006
ACM
16 years 17 days ago
2006
ACM
We introduce and validate bootstrap techniques to compute confidence intervals that quantify the effect of test-collection variability on average precision (AP) and mean average...
191
click to vote
ISLPED
2005
ACM
16 years 5 days ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
180
click to vote
NORDICHI
2004
ACM
16 years 1 days ago
2004
ACM
The primary contribution of this paper is investigating how the User Centered Design approach is integrated into the industry. Employing a structured web-survey, targeted to the u...
173
click to vote
CEAS
2004
Springer
16 years 13 hour ago
2004
Springer
Generally a content based spam filter works on words and phrases of email text and if it finds offensive content it gives that email a numerical value (depending on the content). A...