105 search results - page 20 / 21 » Verifying an Applicative ATP Using Multiset Relations |
AROBOTS
2005
13 years 7 months ago
2005
In the recent past, several researchers have shown that important variables in relearning motor skills and in changing the underlying neural architecture after stroke are the quant...
IMC
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
Ontology matching, aiming to obtain semantic correspondences between two ontologies, has played a key role in data exchange, data integration and metadata management. Among numero...
XPU
2005
Springer
14 years 1 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—The first HSDPA (High-Speed Downlink Packet Access) networks have been recently deployed for operational use. We evaluate and compare live HSDPA operational network performance ...