Sciweavers

3619 search results - page 267 / 724
» Developing Knowledge-Based Systems using the Semantic Web
Sort
View
IJAOSE
2007
93views more  IJAOSE 2007»
15 years 4 months ago
A formal semantics for Gaia liveness rules and expressions
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...
Tim Miller, Peter McBurney
ICWE
2011
Springer
14 years 8 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
CE
2002
102views more  CE 2002»
15 years 4 months ago
An interactive multimedia learning environment for VLSI built with COSMOS
: This paper presents Bigger Bits, an interactive multimedia learning environment that teaches students about VLSI within the context of computer electronics. The system was built ...
Marios C. Angelides, Harry W. Agius
ICALT
2008
IEEE
15 years 11 months ago
Interaction Analysis as a Multi-Support Approach of Social Computing for Learning, in the "Collaborative Era": Lessons Learned b
Apparently computer technology is shifting its focus, with individual users not being the main target any more. The evolution of Web 2.0 technologies is promoting the development ...
Tharrenos Bratitsis, Angelique Dimitracopoulou
IJCAI
1989
15 years 5 months ago
Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...
Minoru Asada, Yoshiaki Shirai