Sciweavers

1916 search results - page 282 / 384
» Reasoning with class algebra
Sort
View
ILP
2003
Springer
15 years 11 months ago
Applying Theory Revision to the Design of Distributed Databases
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
Fernanda Araujo Baião, Marta Mattoso, Jude ...
WACV
2002
IEEE
15 years 11 months ago
Does Colorspace Transformation Make Any Difference on Skin Detection?
Skin detection is an important process in many of computer vision algorithms. It usually is a process that starts at a pixel-level, and that involves a pre-process of colorspace t...
Min C. Shin, Kyong I. Chang, Leonid V. Tsap
HYBRID
2001
Springer
15 years 10 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
AGENTS
1999
Springer
15 years 10 months ago
Adaptive Web Site Agents
We discuss the design of a class of agents that we call adaptive web site agents. The goal of such an agent is to help a user find information at a particular web site, adapting i...
Michael J. Pazzani, Daniel Billsus
FM
1999
Springer
93views Formal Methods» more  FM 1999»
15 years 10 months ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine