7167 search results - page 1089 / 1434 » A Technique for Invariant Generation |
184
click to vote
CHI
2010
ACM
16 years 28 days ago
2010
ACM
The human brain and body are prolific signal generators. Recent technologies and computing techniques allow us to measure, process and interpret these signals. We can now infer su...
213
click to vote
SI3D
2010
ACM
16 years 28 days ago
2010
ACM
Scattering in participating media, such as fog or haze, generates volumetric lighting effects known as crepuscular or god rays. Rendering such effects greatly enhances the realism...
211
click to vote
ACSD
2003
IEEE
16 years 28 days ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
214
click to vote
CGI
2003
IEEE
16 years 28 days ago
2003
IEEE
High quality, virtual 3D models are quickly emerging as a new multimedia data type with applications in such diverse areas as e-commerce, online encyclopaedias, or virtual museums...
191
click to vote
CODES
2003
IEEE
16 years 28 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...