Sciweavers

2055 search results - page 285 / 411
» Generic Model Refactorings
Sort
View
TACS
1997
Springer
15 years 7 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
CSFW
2010
IEEE
15 years 6 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
127
Voted
CHI
2010
ACM
15 years 5 months ago
Graaasp: a web 2.0 research platform for contextual recommendation with aggregated data
In this paper we describe Graaasp, a social software currently under development to support the creation of a real usage database of social artifacts. Our goals are twofold: First...
Evgeny Bogdanov, Sandy El Helou, Denis Gillet, Chr...
117
Voted
AGI
2008
15 years 4 months ago
Comirit: Commonsense Reasoning by Integrating Simulation and Logic
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
Benjamin Johnston, Mary-Anne Williams
130
Voted
CIDR
2007
106views Algorithms» more  CIDR 2007»
15 years 4 months ago
One table stores all: Enabling painless free-and-easy data publishing and sharing
In this paper, we present a free-and-easy data publishing and sharing system based on folksonomy. The system accepts data objects described with user-created metadata, called data...
Beng Chin Ooi, Bei Yu, Guoliang Li