2949 search results - page 101 / 590 » Transformations in Information Supply |
153
click to vote
MODELS
2007
Springer
16 years 12 days ago
2007
Springer
In this paper we introduce a novel wide-profile graphical tool-building platform GrTP which is based on the principle of separating semantic domain model processing and user inter...
164
click to vote
TACAS
2007
Springer
16 years 12 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
176
click to vote
SIGCOMM
2003
ACM
15 years 11 months ago
2003
ACM
Packet traces of operational Internet traffic are invaluable to network research, but public sharing of such traces is severely limited by the need to first remove all sensitive...
149
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Energy conservation without performance degradation is an important goal for battery-operated computers, such as laptops and hand-held assistants. In this paper we determine the p...
170
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a simple, fast, and effective method to detect defects on textured surfaces. Our method is unsupervised and contains no learning stage or information on the texture bei...