Sciweavers

357 search results - page 41 / 72
» Ontologies for Modeling and Simulation: Issues and Approache...
Sort
View
DSS
2006
132views more  DSS 2006»
13 years 7 months ago
Agents with shared mental models for enhancing team decision makings
Proactive information sharing is a challenging issue faced by intelligence agencies in effectively making critical decisions under time pressure in areas related to homeland secur...
John Yen, Xiaocong Fan, Shuang Sun, Timothy Hanrat...
NIPS
2007
13 years 9 months ago
Direct Importance Estimation with Model Selection and Its Application to Covariate Shift Adaptation
A situation where training and test samples follow different input distributions is called covariate shift. Under covariate shift, standard learning methods such as maximum likeli...
Masashi Sugiyama, Shinichi Nakajima, Hisashi Kashi...
EWCBR
1993
Springer
13 years 12 months ago
Knowledge Engineering Requirements in Derivational Analogy
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...
Padraig Cunningham, Donal Finn, Seán Slatte...
DATE
2008
IEEE
85views Hardware» more  DATE 2008»
14 years 2 months ago
Improved Visibility in One-to-Many Trace Concretization
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
Kuntal Nanshi, Fabio Somenzi
SIGCSE
2000
ACM
193views Education» more  SIGCSE 2000»
14 years 3 days ago
Experimentation with bounded buffer synchronization
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
Steven Robbins