3239 search results - page 387 / 648 » A Logical Process Calculus |
120
click to vote
VTS
1996
IEEE
15 years 8 months ago
1996
IEEE
Designing a testable circuit is often a two step process. First, the circuit is designed to conform to the functional specifications. Then, the testability aspects are added. By t...
145
click to vote
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
162
click to vote
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
226
click to vote
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
This paper introduces Fuzzy Neural Network controller to increase the ability of a mobile robot in reacting to the dynamic environments. States of robot and environment, for exampl...
125
click to vote
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
With the rise of the Internet, virtual communities of practice are gaining importance as a mean of sharing and exchanging information. In such environments, information reuse is of...