469 search results - page 38 / 94 » Putting curry-howard to work |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— An IP mobility support protocol that enables personal and terminal mobility for IP-based applications is put forward. This protocol does not require new network entitie...
ICPP
2007
IEEE
14 years 1 months ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
SIES
2007
IEEE
14 years 1 months ago
2007
IEEE
In our previous work [1], Full Duplex Switched Ethernet was put forward as an attractive candidate to replace the MIL-STD 1553B data bus, in next generation "1553B"embedd...
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a rather simplistic method of unsupervised morphological analysis of words in an unknown language. All what is needed is a raw text corpus in the given langua...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this investigation we put forth a simple model to quantify the capacity of series elasticity to increase peak power output from an actuator. Using a linear bandwidth limited...