Sciweavers

820 search results - page 51 / 164
» Action Languages
Sort
View
ROBOCUP
1999
Springer
95views Robotics» more  ROBOCUP 1999»
14 years 14 days ago
Spatial Agents Implemented in a Logical Expressible Language
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
Frieder Stolzenburg, Oliver Obst, Jan Murray, Bj&o...
CSMR
2005
IEEE
14 years 1 months ago
An XML-Based Framework for Language Neutral Program Representation and Generic Analysis
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
Raihan Al-Ekram, Kostas Kontogiannis
IFIP
2001
Springer
14 years 20 days ago
Defining Away the Digital Divide: A Content Analysis of Institutional Influences on Popular Representations of Technology
It is our contention that information technology is a cultural commodity whose influence is spread through economic and political action of institutions such as the government and...
Lynette Kvasny, Duane P. Truex
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
13 years 6 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
CIKM
2010
Springer
13 years 6 months ago
Meta-metadata: a metadata semantics language for collection representation applications
Collecting, organizing, and thinking about diverse information resources is the keystone of meaningful digital information experiences, from research to education to leisure. Meta...
Andruid Kerne, Yin Qu, Andrew M. Webb, Sashikanth ...