29172 search results - page 336 / 5835 » Modeling Systems in CLP |
158
click to vote
IJON
2008
15 years 6 months ago
2008
A computational model of the peripheral auditory system is used to explain the paradoxical observation that discriminating between broadband noise sounds with and without high-fre...
323
click to vote
Publication
WiMAX has attracted a lot of attention recently in the telecommunication community including researchers, product developers and service providers. Numerous papers have been publis...
178
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Although server technology provides a means to support a wide range of online services and applications, their ad-hoc configuration poses significant challenges to the performan...
185
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
185
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...