Sciweavers

1054 search results - page 144 / 211
» Compositional Refinement of Interactive Systems Modelled by ...
Sort
View
113
Voted
COGSCI
2007
85views more  COGSCI 2007»
15 years 4 months ago
Semantic Boost on Episodic Associations: An Empirically-Based Computational Model
Words become associated following repeated co-occurrence episodes. This process might be further determined by the semantic characteristics of the words. The present study focused...
Yaron Silberman, Shlomo Bentin, Risto Miikkulainen
181
Voted
ECBS
2006
IEEE
203views Hardware» more  ECBS 2006»
15 years 7 months ago
The Feature-Architecture Mapping (FArM) Method for Feature-Oriented Development of Software Product Lines
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...
Periklis Sochos, Matthias Riebisch, Ilka Philippow
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
15 years 8 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
MM
2006
ACM
103views Multimedia» more  MM 2006»
15 years 10 months ago
Progressive cut
Recently, interactive image cutout technique becomes prevalent for image segmentation problem due to its easy-to-use nature. However, most existing stroke-based interactive object...
Chao Wang, Qiong Yang, Mo Chen, Xiaoou Tang, Zhong...
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 7 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe