Sciweavers

187 search results - page 13 / 38
» Modeling and manipulating the structure of hierarchical sche...
Sort
View
APN
2008
Springer
13 years 9 months ago
Hierarchical Set Decision Diagrams and Automatic Saturation
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
WISE
2002
Springer
14 years 11 days ago
Towards Translating Authorizations for Transformed XML Documents
Web based services and applications have increased the availability and accessibility of information. XML has recently emerged as an important standard in the area of information ...
Somchai Chatvichienchai, Mizuho Iwaihara, Yahiko K...
TSMC
2008
162views more  TSMC 2008»
13 years 7 months ago
Codevelopmental Learning Between Human and Humanoid Robot Using a Dynamic Neural-Network Model
The paper examines characteristics of interactive learning between human tutors and a robot having a dynamic neural network model which is inspired by human parietal cortex functio...
Jun Tani, Ryunosuke Nishimoto, Jun Namikawa, Masat...
BPSC
2007
171views Business» more  BPSC 2007»
13 years 9 months ago
XML Databases: Principles and Usage
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...
Jaroslav Pokorný
LAWEB
2003
IEEE
14 years 22 days ago
Application Modeling for the Semantic Web
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
Fernanda Lima, Daniel Schwabe