3032 search results - page 431 / 607 » Description Logic Rules |
ITNG
2007
IEEE
15 years 7 months ago
2007
IEEE
Context information is one of the most important data coming from mobile devices to add a value for the application execution. This paper introduces a context dissemination middle...
ECML
2007
Springer
15 years 7 months ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...
104
Voted
LAWEB
2006
IEEE
15 years 6 months ago
2006
IEEE
This work describes an approach for the semi-automatic learning object metadata markup of course’s web pages and their posterior extraction into Scorm Packages. This is identifi...
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
112
click to vote
SYNASC
2005
IEEE
15 years 6 months ago
2005
IEEE
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...