Sciweavers

1916 search results - page 282 / 384
» Reasoning with class algebra
Sort
View
ILP
2003
Springer
14 years 2 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
14 years 1 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
14 years 1 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
14 years 1 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»
14 years 1 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