472 search results - page 47 / 95 » Limiting Negations in Formulas |
MUE
2007
IEEE
14 years 4 months ago
2007
IEEE
With the developments of related techniques in telecommunication and computer sciences, wireless sensor networks have been used more and more widely. While sensor nodes in wireles...
LOCA
2007
Springer
14 years 4 months ago
2007
Springer
Many context- and location-aware applications request high accuracy and availability of positioning systems. In reality however, knowledge about the current position may be incompl...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...
HUMAN
2005
Springer
14 years 3 months ago
2005
Springer
Syntactically different URLs could represent the same web page on the World Wide Web, and duplicate representation for web pages causes web applications to handle a large amount of...
ICCSA
2005
Springer
14 years 3 months ago
2005
Springer
Since syntactically different URLs could represent the same resource in WWW, there are on-going efforts to define the URL normalization in the standard communities. This paper cons...