6881 search results - page 86 / 1377 » Motivation |
126
click to vote
MFCS
2004
Springer
15 years 9 months ago
2004
Springer
In learning theory and genetic programming, OBDDs are used to represent approximations of Boolean functions. This motivates the investigation of the OBDD complexity of approximatin...
109
click to vote
MKM
2004
Springer
15 years 9 months ago
2004
Springer
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...
116
click to vote
NIME
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes the SillyTone Squish Factory, a haptically engaging musical interface. It contains the motivation behind the device’s development, a description of the inte...
129
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
The RT Role-based Trust-management framework provides policy language, semantics, deduction engine, and pragmatic features such as application domain specification documents that...
127
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper summarizes the research performed under DARPA’s Autonomic Distributed Firewalls (ADF) research project. The summary begins with a review of the motivation and objecti...