5630 search results - page 359 / 1126 » Computability in Specification |
165
click to vote
ICPP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper compares three similar loop-grouping methods. All methods are based on projecting the n-dimensional iteration space Jn onto a k-dimensional one, called the projected sp...
180
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Interactive storytelling can either be based on explicit plot representations or on the autonomous behaviour of artificial characters. In such a character-based approach, the dyna...
178
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper develops a connection establishment framework for protecting connections against single-link failures using link protection at the granularity of a connection, referred...
153
Voted
HCI
2011
14 years 10 months ago
2011
The FP7 EU project ISi-PADAS aims at conceiving an intelligent system, called PADAS, to support drivers, which intervenes continuously from warning up to automatic braking in the w...
195
Voted
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
Virtual reality systems are placing never before seen demands on computer graphics hardware, yet few graphics systems are designed specifically for virtual reality. An address rec...