2989 search results - page 252 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
159
click to vote
MLMTA
2003
15 years 7 months ago
2003
— This work shows comparatively the capacity of five Fuzzy Lattice Neurocomputing (FLN) classifiers. The mechanics of the five classifiers are illustrated geometrically on the pl...
308
click to vote
NFM
2011
15 years 1 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
258
click to vote
ER
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. User preferences are a fundamental ingredient of personalized database applications, in particular those in which the user context plays a key role. Given a set of prefer...
166
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Mathematical Morphology (MM) offers a wide range of operators to address various image processing problems. These processing can be defined in terms of algebraic set or a...
180
click to vote
ECRTS
2008
IEEE
16 years 27 days ago
2008
IEEE
Task period adaptations are often used to alleviate temporal overload conditions in real-time systems. Existing frameworks assume that only task periods are adjustable and that ta...