Sciweavers

4965 search results - page 126 / 993
» A Simple Abstraction for Data Modeling
Sort
View
FM
2003
Springer
112views Formal Methods» more  FM 2003»
15 years 11 months ago
Structuring Retrenchments in B by Decomposition
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
Michael Poppleton, Richard Banach
IDEAL
2007
Springer
16 years 16 days ago
Modularity, Product Innovation, and Consumer Satisfaction: An Agent-Based Approach
Abstract. The importance of modularity in product innovation is analyzed in this paper. Through simulations with an agent-based modular economic model, we examine the significance...
Shu-Heng Chen, Bin-Tzong Chie
CAIP
2005
Springer
15 years 8 months ago
Automatic Human Model Generation
Abstract. The contribution presents an integrated system for automatic acquisition of a human torso model, using different input images. The output model consists of two free-form ...
Bodo Rosenhahn, Lei He, Reinhard Klette
ESANN
2008
15 years 7 months ago
Word recognition and incremental learning based on neural associative memories and hidden Markov models
Abstract. An architecture for achieving word recognition and incremental learning of new words in a language processing system is presented. The architecture is based on neural ass...
Zöhre Kara Kayikci, Günther Palm
INFOCOM
2009
IEEE
16 years 1 months ago
BitTorrent: An Extensible Heterogeneous Model
—Peer-to-peer (P2P) systems in general, and BitTorrent (BT) specifically, have been of significant interest to researchers rnet users alike. Existing models of BT abstract away...
Alix L. H. Chow, Leana Golubchik, Vishal Misra