228 search results - page 4 / 46 » Towards computer aided mathematics |
FCSC
2007
14 years 9 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
89
Voted
IWCMC
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, We mathematically model the In-Range localization scheme in the presence of a Mobile Beacon. In the In-Range localization scheme, a sensor with unknown location is ...
107
click to vote
PERCOM
2004
ACM
15 years 9 months ago
2004
ACM
This paper proposes initial steps towards a conceptual framework for context-aware systems. It is an attempt towards a general context model to aid thinking and describing context...
HAPTICS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper shows a preliminary experimental evaluation of a novel haptic aiding for Remotely Piloted Vehicles. The aerodynamically-inspired haptic feedback law was named Convention...
114
click to vote
BRAIN
2010
Springer
14 years 10 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...