Sciweavers

3618 search results - page 36 / 724
» Additive functions for number systems in function fields
Sort
View
NJC
2000
169views more  NJC 2000»
13 years 7 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
FDL
2004
IEEE
13 years 11 months ago
A Functional Programming Framework of Heterogeneous Model of Computation for System Design
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shu...
EEMMAS
2007
Springer
14 years 1 months ago
Engineering Systems Which Generate Emergent Functionalities
Complexity of near future and even nowadays applications is exponentially increasing. In order to tackle the design of such complex systems, being able to engineer self-organising ...
Marie Pierre Gleizes, Valérie Camps, Jean-P...
TSMC
1998
135views more  TSMC 1998»
13 years 7 months ago
Universal stabilization using control Lyapunov functions, adaptive derivative feedback, and neural network approximators
— In this paper, the problem of stabilization of unknown nonlinear dynamical systems is considered. An adaptive feedback law is constructed that is based on the switching adaptiv...
Elias B. Kosmatopoulos
INEX
2005
Springer
14 years 1 months ago
Field-Weighted XML Retrieval Based on BM25
This is the first year for the Centre for Interactive Systems Research participation of INEX. Based on a newly developed XML indexing and retrieval system on Okapi, we extend Robe...
Wei Lu, Stephen E. Robertson, Andrew MacFarlane