8337 search results - page 1460 / 1668 » Reasoning With Characteristic Models |
130
Voted
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
The MPEG-4 Scalable to Lossless (SLS) audio coding is recently being developed to provide a unified solution for high compression perceptual audio coding and high-quality lossles...
115
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
171
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
151
Voted
RTSS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
146
click to vote
SP
2006
IEEE
15 years 11 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...