811 search results - page 135 / 163 » Integrating Formal Description Techniques |
124
click to vote
EDBT
2009
ACM
16 years 27 days ago
2009
ACM
In a variety of applications, ranging from data integration to distributed query evaluation, there is a need to obtain sets of data items from several sources (peers) and compute ...
144
click to vote
GLOBECOM
2007
IEEE
16 years 13 days ago
2007
IEEE
—We examine a widely accepted myth about passive listening in wireless networks, and give a detailed description of how to achieve real “passive listening.” Then we develop a...
130
click to vote
ICIP
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper carves out an image compression approach that integrates our parameter-assistant inpainting (PAI) technique to exploit the visual redundancy inherent in color-gradation...
142
Voted
IRI
2007
IEEE
16 years 12 days ago
2007
IEEE
Crime reporting needs to be possible 24/7. Although 911 and tip-lines are the most publicized reporting mechanisms, several other options exist, ranging from inperson reporting to...
139
click to vote
PPDP
2007
Springer
16 years 6 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...