2702 search results - page 374 / 541 » Practically Applicable Formal Methods |
152
click to vote
KDD
2012
ACM
13 years 4 months ago
2012
ACM
Advanced technology in GPS and sensors enables us to track physical events, such as human movements and facility usage. Periodicity analysis from the recorded data is an important...
125
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Subspace identification has proven useful when identifying identifying multi-input multi-output systems. It is, however, important in many applications to take a priori structural ...
203
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
We consider a privacy threat to a social network in which the goal of an attacker is to obtain knowledge of a significant fraction of the links in the network. We formalize the ty...
118
Voted
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
The need of processing graph reachability queries stems from many applications that manage complex data as graphs. The applications include transportation network, Internet traffic...
117
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
Rank-aware query processing has become essential for many applications that return to the user only the top-k objects based on the individual user's preferences. Top-k queries...