3773 search results - page 603 / 755 » Logical Reasoning |
126
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
116
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...
158
click to vote
CADE
2004
Springer
15 years 10 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
141
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
136
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
The objective of the Market Blended Insight (MBI) project is to develop web based techniques to improve the performance of UK Business to Business (B2B) marketing activities. The a...