6608 search results - page 957 / 1322 » On the Completeness of Model Checking |
185
click to vote
ASM
2005
ASM
16 years 10 days ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
178
click to vote
CCIA
2005
Springer
16 years 10 days ago
2005
Springer
IntraVascular UltraSound (IVUS) imaging is a useful tool in diagnosis of cardiac diseases since sequences completely show the morphology of coronary vessels. Vessel borders detecti...
155
click to vote
CONTEXT
2005
Springer
16 years 10 days ago
2005
Springer
Most direct reference theorists believe that ‘I’ is a pure indexical. This means that when ‘I’ is uttered, it contributes with the speaker to what is said. But, from some c...
191
click to vote
EPIA
2005
Springer
16 years 10 days ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
175
click to vote
SEMWEB
2005
Springer
16 years 8 days ago
2005
Springer
Semantic query optimization (SQO) has been proved to be quite useful in various applications (e.g., data integration, graphical query generators, caching, etc.) and has been extens...