232 search results - page 13 / 47 » Or-Parallelism within Tabling |
136
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
131
Voted
TIFS
2010
15 years 29 days ago
2010
JPEG is one of the most extensively used image formats. Understanding the inherent characteristics of JPEG may play a useful role in digital image forensics. In this paper, we int...
159
Voted
FECS
2009
15 years 11 days ago
2009
Traditional instruction in the first data structures course treats object-oriented inheritance and polymorphism as isolated topics if at all. Course organization is an exploration...
144
Voted
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Despite the prominence of multi-touch technologies, there has been little work investigating its integration into the desktop environment. Bringing multi-touch into desktop comput...
137
Voted
PAM
2012
Springer
13 years 10 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...