2189 search results - page 109 / 438 » A Graded Applicability of Rules |
162
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— This paper presents our approach to extending the niche of behavior-based robotics to manipulation. We use results from neuroscience to define the basic behaviors of the manip...
165
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
272
click to vote
ICDE
1998
IEEE
16 years 7 months ago
1998
IEEE
Traditional Event-Condition-Action triggers (active database rules) include a Boolean predicate as a trigger condition. We propose fuzzy triggers whereby fuzzy inference is utiliz...
169
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
199
click to vote
DNA
2006
Springer
15 years 10 months ago
2006
Springer
Minimal parallelism was recently introduced [3] as a way the rules of a P system are used: from each set of applicable rules associated to the same membrane, at least one must be a...