Sciweavers

807 search results - page 134 / 162
» Modeling Hybrid Domains Using Process Description Language
Sort
View
CIA
2006
Springer
15 years 6 months ago
Conversation-Based Specification and Composition of Agent Services
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
Quoc Bao Vo, Lin Padgham
125
Voted
ICIP
2003
IEEE
16 years 4 months ago
Evaluation strategies for automatic linguistic indexing of pictures
With the rapid technological advances in machine learning and data mining, it is now possible to train computers with hundreds of semantic concepts for the purpose of annotating i...
James Ze Wang, Jia Li, Sui Ching Lin
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 9 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
164
Voted
LFCS
2009
Springer
15 years 9 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
UM
2009
Springer
15 years 9 months ago
Non-intrusive Personalisation of the Museum Experience
Abstract. The vast amount of information presented in museums is often overwhelming to a visitor, making it difficult to select personally interesting exhibits. Advances in mobile...
Fabian Bohnert, Ingrid Zukerman