89222 search results - page 104 / 17845 » Which |
137
click to vote
EMINDS
2007
15 years 6 months ago
2007
Abstract We introduce our human-centered approach for designing a ubiquitous computing system which aims at providing a better experience for shoppers at a supermarket. We investig...
139
Voted
JOT
2006
15 years 6 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
180
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
We present an implementation of the protocol of Lindell and Pinkas for secure two-party computation which is secure against malicious adversaries [13]. This is the first running sy...
184
click to vote
RML
2006
15 years 6 months ago
2006
We construct a model of set theory without the foundation axiom in which there exists a transitive set whose intersection is not transitive.
162
click to vote
AIL
2005
15 years 6 months ago
2005
In this paper we discuss the application of a new machine learning approach - Argument Based Machine Learning - to the legal domain. An experiment using a dataset which has also be...