Sciweavers

JASIS
2008
64views more  JASIS 2008»
13 years 4 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
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 4 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
GEOINFO
2004
13 years 5 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