687 search results - page 17 / 138 » Observer forms for perspective systems |
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
The most popular unit of work in organizations is a project. Managing knowledge in and about projects is salient for successful project management. Explicit knowledge is easier to...
BIRTHDAY
2006
Springer
14 years 10 days ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
IJDMMM
2008
13 years 8 months ago
2008
: Remote sensing and mobile devices nowadays collect a huge amount of spatial data, which have to be analysed in order to discover interesting information about economic, social an...
ICML
1999
IEEE
14 years 28 days ago
1999
IEEE
Developing automated agents that intelligently perform complex real world tasks is time consuming and expensive. The most expensive part of developing these intelligent task perfo...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...