4985 search results - page 391 / 997 » Observation of String-Rewriting Systems |
170
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Information theory provides a range of useful methods to analyse probability distributions and these techniques have been successfully applied to measure information flow and the ...
198
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents an indoor localization system for the visually impaired. The basis of our system is an Extended Kalman Filter (EKF) for six degree-of-freedom (d.o.f.) posit...
199
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
179
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Constant-coefficient multipliers are fundamental components in digital signal processing and arithmetic-based systems. Their verification, however, remains difficult and time-cons...
210
click to vote
ICNS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents SLA monitoring and management framework for telecommunication services. The basic requirements of this class of systems are specified and verified in context o...