769 search results - page 18 / 154 » Is Logic all in our Heads |
96
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
101
click to vote
ADHOCNETS
2009
Springer
15 years 7 months ago
2009
Springer
Node clustering and data aggregation are popular techniques to reduce energy consumption in large WSNs and a large body of literature has emerged describing various clustering prot...
68
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Given a plant Å and a specification Å , the largest solution of the FSM equation Å ¯ Å Å contains all possible discrete controllers Å . Often we are interested in computin...
91
Voted
ISWC
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper compares position measurement techniques using dead reckoning. We are seeking to find a technique which is suitable for use by pedestrians, and have compared a number ...
97
Voted
COR
2007
15 years 21 days ago
2007
Many approaches have been taken in academic environments to address the problem of student and course timetabling. Typically, student scheduling and course scheduling have been tr...