3323 search results - page 500 / 665 » Computational Semantics with Functional Programming |
179
click to vote
ICN
2007
Springer
16 years 19 days ago
2007
Springer
— In this paper, we use the Markov Decision Process (MDP) technique to find the optimal code allocation policy in High-Speed Downlink Packet Access (HSDPA) networks. A discrete ...
135
click to vote
FCCM
2006
IEEE
16 years 16 days ago
2006
IEEE
We propose a novel defect-tolerant design methodology using Bloom filters for defect mapping for nanoscale computing devices. It is a general approach that can be used for any pe...
229
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
168
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
119
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper presents a software architecture for a softwaresynchronized multicamera setup. The software allows consistent multiimage acquisition, image processing and deci...