1021 search results - page 56 / 205 » Concepts in Proof Planning |
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper investigates the properties of social choice functions that represent resource allocation strategies in interference coupled wireless systems. The allocated resources ca...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— The concept of a mobile haptic interface for bimanual manipulations in 6 d.o.f. is presented. The design of this mobile haptic interface is based on a modular system consisting...
ICPADS
2005
IEEE
14 years 2 months ago
2005
IEEE
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
DLOG
2007
13 years 11 months ago
2007
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...