1699 search results - page 303 / 340 » On the Expressive Power of QLTL |
138
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
110
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
We analyze a massive social network, gathered from the records of a large mobile phone operator, with more than a million users and tens of millions of calls. We examine the distr...
113
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Mining frequent patterns is a general and important issue in data mining. Complex and unstructured (or semi-structured) datasets have appeared in major data mining applications, i...
111
click to vote
WSDM
2010
ACM
15 years 11 months ago
2010
ACM
As the Web provides rich data embedded in the immense contents inside pages, we witness many ad-hoc efforts for exploiting fine granularity information across Web text, such as We...
126
Voted
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...