2705 search results - page 429 / 541 » Formal Ontology for Subject |
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
KDD
2010
ACM
13 years 8 months ago
2010
ACM
In an online rating system, raters assign ratings to objects contributed by other users. In addition, raters can develop trust and distrust on object contributors depending on a f...
PPDP
2010
Springer
13 years 8 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Software helps people fulfill their goals, but development tools lack understanding of those goals. But if development tools did understand how software artifacts relate to higher...