4158 search results - page 471 / 832 » A Framework for Web Science |
148
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
211
Voted
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
196
click to vote
AAAI
1997
15 years 8 months ago
1997
Negotiation has been extensively discussed in gametheoretic, economic, and management science literatures for decades. Recent growing interest in electronic commerce has given inc...
181
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
184
click to vote
AIR
2005
15 years 6 months ago
2005
Abstract. We present an overview of different theories of explanation from the philosophy and cognitive science communities. Based on these theories, as well as models of explanati...