Sciweavers

9145 search results - page 411 / 1829
» Description Logic Systems
Sort
View
DIGRA
2003
Springer
16 years 2 days ago
Exploration in computer games - a new starting point
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
Simon Egenfeldt-Nielsen
ETFA
2006
IEEE
16 years 27 days ago
Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
Marcos Vinicius Linhares, Alexandre Jose da Silva,...
IEAAIE
2004
Springer
16 years 6 days ago
Iterative Semi-supervised Learning: Helping the User to Find the Right Records
This paper proposes extending semi-supervised learning by allowing an ongoing interaction between a user and the system. The extension is intended to not only to speed up search fo...
Chris Drummond
FPL
2005
Springer
97views Hardware» more  FPL 2005»
16 years 11 days ago
Safe PLD-based Programmable Controllers
In many industrial processes, an incorrect operation can lead to irreparable damage to people, equipment, or the environment. In order to reduce risks, the electronic control syst...
Jacobo Alvarez, Jorge Marcos, Santiago Fernandez
ENTCS
2008
96views more  ENTCS 2008»
15 years 7 months ago
Undecidability of Model Checking in Brane Logic
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
Giorgio Bacci, Marino Miculan