Sciweavers

5344 search results - page 172 / 1069
» Privacy-Preserving Set Operations
Sort
View
AISB
2008
Springer
15 years 5 months ago
Substitution for Fraenkel-Mostowski foundations
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
Murdoch Gabbay, Michael Gabbay
TOOLS
2010
IEEE
15 years 1 months ago
Understanding the Impact of Collection Contracts on Design
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
Stephen Nelson, David J. Pearce, James Noble
HRI
2007
ACM
15 years 7 months ago
Developing performance metrics for the supervisory control of multiple robots
Efforts are underway to make it possible for a single operator to effectively control multiple robots. In these high workload situations, many questions arise including how many r...
Jacob W. Crandall, M. L. Cummings
AI
2006
Springer
15 years 3 months ago
The complexity of soft constraint satisfaction
Over the past few years there has been considerable progress in methods to systematically analyse the complexity of constraint satisfaction problems with specified constraint type...
David A. Cohen, Martin C. Cooper, Peter Jeavons, A...
219
Voted
ICDE
2007
IEEE
125views Database» more  ICDE 2007»
16 years 4 months ago
Ontology-Based Constraint Recognition for Free-Form Service Requests
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
Muhammed Al-Muhammed, David W. Embley