Sciweavers

2041 search results - page 159 / 409
» Modelling Generic Judgements
Sort
View
IJON
2007
114views more  IJON 2007»
15 years 4 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
TWC
2008
112views more  TWC 2008»
15 years 4 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
153
Voted
ISSRE
2010
IEEE
15 years 3 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
LOGCOM
2010
123views more  LOGCOM 2010»
15 years 3 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...
WWW
2001
ACM
16 years 5 months ago
XML and XSLT Modeling for Multimedia Bitstream Manipulation
New devices gaining access to the Internet need to obtain multimedia content adapted to their limited capacities. Scalable formats allow to retrieve different versions of a single...
Sylvain Devillers