4917 search results - page 612 / 984 » Software Engineering is Not Computer Science |
210
click to vote
AUIC
2005
IEEE
16 years 14 days ago
2005
IEEE
Mobile augmented reality systems use general purpose computing hardware to perform tasks such as rendering computer graphics, providing video overlay, and performing vision tracki...
196
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
206
click to vote
EDBTW
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Peer-to-peer (P2P) computing is currently attracting enormous attention. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their ...
220
Voted
EDBTW
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. Numerous applications and development environments exi...
173
click to vote
ISPASS
2003
IEEE
16 years 3 days ago
2003
IEEE
MPEG-4 is an important international standard with wide applicability. This paper focuses on MPEG-4’s main profile, video, whose approach allows more efficiency in coding and ...