8933 search results - page 326 / 1787 » Usability over time |
163
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
187
click to vote
VISUALIZATION
2005
IEEE
16 years 10 days ago
2005
IEEE
Traditionally, time-varying data has been visualized using snapshots of the individual time steps or an animation of the snapshots shown in a sequential manner. For larger dataset...
141
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Modern structure from motion techniques are capable of building city-scale 3D reconstructions from large image collections, but have mostly ignored the problem of largescale struc...
163
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper explores the critical role of conversational threads in facilitating the ongoing, distributed work of one virtual organization. In studying the electronic mail exchange...
242
click to vote
FOCS
1992
IEEE
15 years 10 months ago
1992
IEEE
We announce methods for e cient management of solvable matrix groups over nite elds. We show that solvability and nilpotence can be tested in polynomial-time. Such e ciency seems ...