1364 search results - page 235 / 273 » Comparative Branching-Time Semantics |
120
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The study of the sub-structure of complex networks is of major importance to relate topology and functionality. Many efforts have been devoted to the analysis of the modular struc...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
107
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Many AI researchers and cognitive scientists have argued that analogy is the core of cognition. The most influential work on computational modeling of analogy-making is Structure ...
ESE
2006
15 years 2 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
127
click to vote
IBIS
2006
15 years 2 months ago
2006
: Schema matching is the task of finding semantic correspondences between elements of two schemas, which plays a key role in many database applications. In this paper, we cast the ...