1757 search results - page 150 / 352 » Alternating Refinement Relations |
132
Voted
OWLED
2008
15 years 4 months ago
2008
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
114
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— For mobile platforms with steerable standard wheels it is necessary to precisely coordinate rotation and steering angle of their wheels. Especially for redundantly actuated pla...
132
click to vote
EVOW
2008
Springer
15 years 4 months ago
2008
Springer
We propose an alternative algorithm for solving continuous review inventory model problems for deteriorating items over a finite horizon. Our interest focuses on the case of time...
128
Voted
BIB
2006
15 years 3 months ago
2006
This article is a critical review of computational techniques used to model, analyse and simulate signalling networks. We propose a conceptual framework, and discuss the role of s...
137
Voted
EATCS
2000
15 years 3 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...