Sciweavers

10790 search results - page 208 / 2158
» Using feature models to automate model transformations
Sort
View
JSW
2008
105views more  JSW 2008»
15 years 6 months ago
Reasoning Principles for Negotiating Agent
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
Mukun Cao, Yuqiang Feng
PCM
2007
Springer
109views Multimedia» more  PCM 2007»
16 years 21 days ago
Modeling User Feedback Using a Hierarchical Graphical Model for Interactive Image Retrieval
Relevance feedback is an important mechanism for narrowing the semantic gap in content-based image retrieval and the process involves the user labeling positive and negative images...
Jian Guan, Guoping Qiu
FLOPS
2004
Springer
15 years 12 months ago
Semantics of Linear Continuation-Passing in Call-by-Name
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
Masahito Hasegawa
GPC
2010
Springer
15 years 10 months ago
Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
Wei-Jen Wang, Carlos A. Varela, Fu-Hau Hsu, Cheng-...
WWW
2004
ACM
16 years 7 months ago
CTR-S: a logic for specifying contracts in semantic web services
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan