1981 search results - page 343 / 397 » Model-Checking Hierarchical Structures |
122
click to vote
CANDT
2009
15 years 6 months ago
2009
ICT support for transnational social movements and civil society organizations is an important field of research: not only due to the increased political importance of this sector...
141
click to vote
DAC
2009
ACM
15 years 6 months ago
2009
ACM
Traditional debug methodologies are limited in their ability to provide debugging support for many-core parallel programming. Synchronization problems or bugs due to race conditio...
120
Voted
GRAPHITE
2007
ACM
15 years 6 months ago
2007
ACM
Point-sampled geometry has gained significant interest due to their simplicity. The lack of connectivity touted as a plus, however, creates difficulties in many operations like ge...
128
click to vote
HT
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we present a visual education tool for efficient and effective learning. The toolkit is based on a simple premise: simple concepts should be learned before advanced ...
129
click to vote
ICASSP
2007
IEEE
15 years 6 months ago
2007
IEEE
Motion estimation is the most time-consuming subsystem in a video codec. Thus, more efficient methods of motion estimation should be investigated. Real video sequences usually exh...