Sciweavers

3718 search results - page 443 / 744
» IMPS: System Description
Sort
View
AIA
2006
15 years 8 months ago
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
Benno Stein, Oliver Niggemann, Theodor Lettmann
215
Voted
JUCS
2008
145views more  JUCS 2008»
15 years 6 months ago
Ontoolcole: Supporting Educators in the Semantic Search of CSCL Tools
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
Guillermo Vega-Gorgojo, Miguel L. Bote-Lorenzo, Ed...
JCS
2002
100views more  JCS 2002»
15 years 6 months ago
STATL: An Attack Language for State-Based Intrusion Detection
STATL is an extensible state/transition-based attack description language designed to support intrusion detection. The language allows one to describe computer penetrations as seq...
Steve T. Eckmann, Giovanni Vigna, Richard A. Kemme...
NGITS
1999
Springer
15 years 11 months ago
From Object-Process Diagrams to a Natural Object-Process Language
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
Mor Peleg, Dov Dori
ICIP
2005
IEEE
16 years 8 months ago
Improving performance of interactive categorization of images using relevance feedback
When using relevance feedback for the interactive categorization of images, the strategy employed by the system to select images to be presented to the user is of paramount import...
Marin Ferecatu, Michel Crucianu, Nozha Boujemaa