Sciweavers

1622 search results - page 96 / 325
» A Collection of Definitions of Intelligence
Sort
View
AAAI
2006
15 years 5 months ago
Optimizing Similarity Assessment in Case-Based Reasoning
The definition of accurate similarity measures is a key issue of every Case-Based Reasoning application. Although some approaches to optimize similarity measures automatically hav...
Armin Stahl, Thomas Gabel
90
Voted
FLAIRS
2004
15 years 5 months ago
Context-Based Representation of the Task/Method Paradigm
The simultaneous consideration of various notions (practice, procedure, prescribed task, effective task, task space, task search, task, method, activity) shows that the task accom...
Patrick Brézillon, E. Marquois
FLAIRS
2000
15 years 5 months ago
The Use of Formal Methods for Trusted Digital Signature Devices
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
Bruno Langenstein, Roland Vogt, Markus Ullmann
AAAI
1997
15 years 5 months ago
Tools for Assembling Modular Ontologies in Ontolingua
The Ontolingua ontology development environment provides a suite of ontology authoring tools and a library of modular reusable ontologies. The environment is available as a World ...
Richard Fikes, Adam Farquhar, James Rice
AAAI
1994
15 years 5 months ago
Formalizing Ontological Commitment
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
Nicola Guarino, Massimiliano Carrara, Pierdaniele ...