8933 search results - page 120 / 1787 » Usability over time |
154
click to vote
ICDM
2009
IEEE
15 years 3 months ago
2009
IEEE
Storing data according to the multidimensional model, in particular following star schemas, has demonstrated to be one of the most adequate forms to ease the exploration of data. ...
174
Voted
ICMCS
2009
IEEE
15 years 3 months ago
2009
IEEE
The explosive growth of photos/videos and the advent of mediasharing services have drastically increased the volume of usercontributed multimedia resources, which bring profound s...
151
click to vote
CDC
2010
IEEE
15 years 15 days ago
2010
IEEE
We present sufficient conditions for stabilizability of an unstable linear time invariant scalar system across an additive white Gaussian noise channel, with a relay assisting the ...
151
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
147
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...