469 search results - page 38 / 94 » Putting curry-howard to work |
172
click to vote
ICC
2007
IEEE
16 years 13 days 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...
164
Voted
ICPP
2007
IEEE
16 years 12 days 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...
140
click to vote
SIES
2007
IEEE
16 years 11 days 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...
160
click to vote
CLEF
2007
Springer
16 years 8 days 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...
140
click to vote
ICRA
2006
IEEE
16 years 4 days 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...