3233 search results - page 459 / 647 » Validation Method for Intelligent Systems |
166
Voted
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
166
Voted
RECSYS
2009
ACM
16 years 28 days ago
2009
ACM
Collaborative Filtering (CF) recommendations are computed by leveraging a historical data set of usersā ratings for items. It assumes that the usersā previously recorded ratin...
177
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
We propose a low-delay low-complexity end-to-end video transmission system that integrates the latest scalable H.264 codec and the full-rate full-diversity quasi-orthogonal space-...
162
Voted
SASO
2008
IEEE
16 years 24 days ago
2008
IEEE
The use of ļ¬oating car data is an interesting method to monitor trafļ¬c. Vehicles act as local trafļ¬c sensors and data from individual vehicles is aggregated into higher-leve...
167
click to vote
CCS
2007
ACM
16 years 18 days ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...