337 search results - page 48 / 68 » Axiomatizing Distance Logics |
124
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
121
click to vote
POPL
2010
ACM
16 years 26 days ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
244
click to vote
ARTCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...
129
Voted
PODS
2007
ACM
16 years 3 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
120
Voted
ITICSE
2003
ACM
15 years 8 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...