3994 search results - page 114 / 799 » A Linear Logical Framework |
112
click to vote
ICWE
2005
Springer
15 years 6 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,...
108
Voted
CAV
2008
Springer
15 years 2 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...
94
Voted
CISS
2007
IEEE
15 years 7 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...
101
Voted
STACS
2010
Springer
15 years 7 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...
78
Voted
IJON
2002
15 years 9 days 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...