3116 search results - page 284 / 624 » Positively dependent types |
182
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
195
Voted
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
— We propose a vision-based inertial system that overcomes the problems associated with slow update rates in navigation systems based on high-resolution cameras. Due to bandwidth...
204
click to vote
ITICSE
2005
ACM
16 years 6 days ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
169
click to vote
NETGAMES
2004
ACM
16 years 2 days ago
2004
ACM
Distributed multi-player games use dead reckoning vectors to intimate other (at a distance) participating players about the movement of any entity by a controlling player. The dea...
141
Voted
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
More than a process-automating tool, telemedicine is increasingly recognized for its ability to facilitate collaboration and knowledge creation between disparate healthcare provid...