Sciweavers

JASIS
2008
64views more  JASIS 2008»
14 years 10 months ago
Information-centered research for large-scale analyses of new information sources
ICR should not be conducted on a purely abstract level, but should relate to potentially relevant problems.
Mike Thelwall, Paul Wouters, Jenny Fry
79
Voted
CORR
2010
Springer
158views Education» more  CORR 2010»
14 years 10 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
68
Voted
GEOINFO
2004
14 years 11 months ago
Algebras for Moving Objects and Their Implementation
ceptual, or abstract level, a value of type moving point (type mpoint, for short) is a function from time into point values, and a moving region (mregion) value is a function from ...
Ralf Hartmut Güting