10907 search results - page 2081 / 2182 » Constraint Based Strategies |
JAR
2006
14 years 10 months ago
2006
Otter-lambda is Otter modified by adding code to implement an algorithm for lambda unification. Otter is a resolution-based, clause-language first-order prover that accumulates de...
JOT
2008
14 years 10 months ago
2008
Object-oriented programming languages are being widely adopted as one of the most powerful languages due their flexibility and reusability. However, these languages suffer from me...
114
click to vote
JPDC
2008
14 years 10 months ago
2008
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. In particular, NASA is continuously gath...
JSAC
2008
14 years 9 months ago
2008
Interest in underwater acoustic networks has grown rapidly with the desire to monitor the large portion of the world covered by oceans. Fundamental differences between underwater a...
107
click to vote
JSAC
2008
14 years 9 months ago
2008
Abstract--The concept of cognitive radio (or secondary spectrum access) is currently under investigation as a promising paradigm to achieve efficient use of the frequency resource ...