1941 search results - page 50 / 389 » DNA Computing Approach to Construction of Semantic Model |
ECAI
1990
Springer
15 years 3 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
IFM
1999
Springer
15 years 4 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
113
click to vote
ENTCS
2008
14 years 12 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
107
click to vote
CLOUDCOM
2010
Springer
14 years 9 months ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
Learning visual classifiers for object recognition from weakly labeled data requires determining correspondence between image regions and semantic object classes. Most approaches u...