694 search results - page 79 / 139 » A Semantic Framework for Designer Transactions |
MTA
2007
13 years 8 months ago
2007
In this paper, we study the important issues in the design of an efficient WIreless real-time visual SurveillancE System (WISES). Two important considerations are to minimize: (1)...
SIGIR
2008
ACM
13 years 8 months ago
2008
ACM
Most traditional text clustering methods are based on "bag of words" (BOW) representation based on frequency statistics in a set of documents. BOW, however, ignores the ...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...