2748 search results - page 176 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
157
click to vote
TOPNOC
2008
15 years 4 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
146
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
161
click to vote
TNN
2010
14 years 11 months ago
2010
Abstract--A crucial issue in designing learning machines is to select the correct model parameters. When the number of available samples is small, theoretical sample-based generali...
164
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Dealing with verbose (or long) queries poses a new challenge for information retrieval. Selecting a subset of the original query (a "sub-query") has been shown to be an ...
149
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...