Sciweavers

2004 search results - page 395 / 401
» Understanding Ontological Levels
Sort
View
JOCN
2010
65views more  JOCN 2010»
13 years 5 months ago
Roles of Medial Prefrontal Cortex and Orbitofrontal Cortex in Self-evaluation
■ Empirical investigations of the relation of frontal lobe function evaluation have mostly examined the evaluation of abstract qualities in relation to self versus other people....
Jennifer S. Beer, Michael V. Lombardo, Jamil Palac...
MICS
2010
81views more  MICS 2010»
13 years 5 months ago
Tactics for Hierarchical Proof
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
David Aspinall, Ewen Denney, Christoph Lüth
REPLICATION
2010
13 years 5 months ago
A History of the Virtual Synchrony Replication Model
In this chapter, we discuss a widely used fault-tolerant data replication model called virtual synchrony. The model responds to two kinds of needs. First, there is the practical qu...
Ken Birman
ICDM
2010
IEEE
213views Data Mining» more  ICDM 2010»
13 years 5 months ago
Modeling Experts and Novices in Citizen Science Data for Species Distribution Modeling
Citizen scientists, who are volunteers from the community that participate as field assistants in scientific studies [3], enable research to be performed at much larger spatial and...
Jun Yu, Weng-Keen Wong, Rebecca A. Hutchinson
BCSHCI
2009
13 years 5 months ago
Virtual world users evaluated according to environment design, task based and affective attention measures
This paper presents research that engages with virtual worlds for education users to understand design of these applications for their needs. An in-depth multi-method investigatio...
Breen Sweeney, Anne Adams