Sciweavers

JASIS
2008
64views more  JASIS 2008»
13 years 11 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 11 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
14 years 8 days 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