3994 search results - page 114 / 799 » A Linear Logical Framework |
145
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
139
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
134
click to vote
CISS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In previous work, we established a linear programming framework to determine sensor location from measured link distances between neighboring nodes in a network. Beside...
132
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
107
click to vote
IJON
2002
15 years 3 months ago
2002
The otolith organs in the vestibular system are excellent detectors of linear accelerations. However, any measurement of linear acceleration is ambiguous between a tilt in a gravi...