Sciweavers

1280 search results - page 239 / 256
» Soft Typing with Conditional Types
Sort
View
MCU
2007
113views Hardware» more  MCU 2007»
13 years 10 months ago
On the Computational Capabilities of Several Models
We review some results about the computational power of several computational models. Considered models have in common to be related to continuous dynamical systems. 1 Dynamical Sy...
Olivier Bournez, Emmanuel Hainry
IADIS
2004
13 years 10 months ago
Effects of cognitively designed home pages with readers' prior knowledge on the web
The purpose of our ongoing efforts is to investigate the influence of web page design based on text-structure and user prior knowledge for information retrieval on the basis of na...
Kashif Hussain, Françoise Anceaux, Sylvie M...
IJIT
2004
13 years 10 months ago
Modeling of Pulping of Sugar Maple Using Advanced Neural Network Learning
This paper reports work done to improve the modeling of complex processes when only small experimental data sets are available. Neural networks are used to capture the nonlinear un...
W. D. Wan Rosli, Z. Zainuddin, R. Lanouette, S. Sa...
IAAI
2001
13 years 10 months ago
TALPS: The T-AVB Automated Load Planning System
Due to military drawdowns and the need for additional transportation lift requirements, the US MARINE CORPS developed a concept wherein they had modified a commercial container sh...
Paul S. Cerkez
PDCN
2004
13 years 10 months ago
Quality-of-service provisioning system for multimedia transmission in IEEE 802.11 wireless lans
IEEE 802.11, the standard of wireless local area networks (WLANs), allows the coexistence of asynchronous and time-bounded traffic using the distributed coordination function (DCF)...
Joseph Deng, Hsu-Chun Yen