Sciweavers

4861 search results - page 471 / 973
» Parsimonious concept modeling
Sort
View
ASWEC
2007
IEEE
16 years 1 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
ICTAI
2007
IEEE
16 years 1 months ago
CompoNet: Programmatically Embedding Neural Networks into AI Applications as Software Components
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...
Uzair Ahmad, Andrey Gavrilov, Sungyoung Lee, Young...
LICS
2007
IEEE
16 years 1 months ago
Resource modalities in game semantics
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
Paul-André Melliès, Nicolas Tabareau
EEMMAS
2007
Springer
16 years 1 months ago
Engineering Business Ecosystems Using Environment-Mediated Interactions
Abstract The increasingly complex and dynamic nature of contemporary markets demands that a business engages in an ongoing dialogue with all aspects of its environment, including o...
César A. Marín, Iain Duncan Stalker,...
EDOC
2006
IEEE
16 years 1 months ago
Workshop on ODP for Enterprise Computing (WODPEC 2006)
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
João Paulo A. Almeida, Peter F. Linington, ...