Sciweavers

2986 search results - page 263 / 598
» Generic market models
Sort
View
164
Voted
SPLC
2008
15 years 8 months ago
Functional Testing of Feature Model Analysis Tools. A First Step
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
Sergio Segura, David Benavides, Antonio Ruiz Cort&...
203
Voted
GVD
2000
131views Database» more  GVD 2000»
15 years 8 months ago
Adaptive Knowledge Management: A Meta-Modeling Approach and its Binding to XML
In this paper we propose a meta-modeling approach to adaptive knowledge management. It extends previous work by introducing an application-specific layer which allows to specify m...
Christian Süß
IJON
2007
114views more  IJON 2007»
15 years 6 months ago
A cell assembly model for complex behaviour
Hebbian cell assemblies have been proposed as a model for cortical processing able to bridge between physiology and psychology. Assembly-based theories focused mainly on represent...
Thomas Wennekers
179
Voted
TWC
2008
112views more  TWC 2008»
15 years 6 months ago
Modeling power saving for GAN and UMTS interworking
3GPP 43.318 specifies the Generic Access Network (GAN) for interworking between Wireless Local Area Network (WLAN) and Universal Mobile Telecommunications System (UMTS) core netwo...
Shun-Ren Yang, Phone Lin, Pei-tang Huang
LOGCOM
2010
123views more  LOGCOM 2010»
15 years 5 months ago
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
Peter Baumgartner, Ulrich Furbach, Björn Pelz...