1026 search results - page 112 / 206 » A Methodology for Equational Reasoning |
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
The FUNtain (TM) is a new input device in which a user inputs data by direct interaction with fluid, such as with one or more air or water jets. There is usually a (re)strictomet...
ISIPTA
2005
IEEE
14 years 2 months ago
2005
IEEE
A Chaotic Probability model is a usual set of probability measures, M, the totality of which is endowed with an objective, frequentist interpretation as opposed to being viewed as...
SP
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
CAEPIA
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
WECWIS
2003
IEEE
14 years 2 months ago
2003
IEEE
There are many e-commerce applications on the web. A common shortcoming is the lack of customer service and marketing analysis tools in most ecommerce web sites. In order to overc...