1074 search results - page 24 / 215 » Space of Mechanisms |
104
click to vote
CBSE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
AAAI
1996
14 years 10 months ago
1996
We describe a program called SketchIT that transforms a single sketch of a mechanical device into multiple families of new designs. It represents each of these families with a &qu...
124
click to vote
SEMWEB
2010
Springer
14 years 4 months ago
2010
Springer
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
KES
2006
Springer
14 years 9 months ago
2006
Springer
In this paper, in order to reduce the explosive increase of the search space as the input dimension grows, we present a new representation method for the structure of fuzzy rules, ...
ENTCS
2000
14 years 9 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...