Sciweavers

273 search results - page 27 / 55
» Mechanization for solving SPP by reducing order method
Sort
View
ICC
2008
IEEE
130views Communications» more  ICC 2008»
14 years 2 months ago
Managing Network Congestion with a Kohonen-Based RED Queue
— The behaviour of the TCP AIMD algorithm is known to cause queue length oscillations when congestion occurs at a router output link. Indeed, due to these queueing variations, en...
Emmanuel Lochin, Bruno Talavera
ACL2
2006
ACM
14 years 2 months ago
Phylogenetic trees in ACL2
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
Warren A. Hunt Jr., Serita M. Nelesen
GLOBECOM
2010
IEEE
13 years 6 months ago
Routing in Hybrid Mesh Networks of Cognitive and IEEE 802.11 Radios
Abstract--Cognitive radios (CRs) are devices that access spectrum opportunistically taking advantage of unused portions of licensed spectrum. Therefore, depending on the licensed r...
Marcel William Rocha da Silva, José Ferreir...
ICALT
2008
IEEE
14 years 2 months ago
NUCLEO: Adaptive Computer Supported Collaborative Learning in a Role Game Based Scenario
This paper presents the adaptation model used in NUCLEO, a pilot e-learning environment that is currently being developed at the Complutense University of Madrid. The NUCLEO syste...
Pilar Sancho, Rubén Fuentes-Fernánde...
IVA
2005
Springer
14 years 1 months ago
Integrating Social Skills in Task-Oriented 3D IVA
Abstract. This paper presents a set of mechanisms oriented to incorporate social information into the decision taking of task-oriented 3DIVA. The aim of this approach is to integra...
Francisco Grimaldo, Miguel Lozano, Fernando Barber...