5879 search results - page 963 / 1176 » Separation - Past, Present, and Future |
176
click to vote
HCI
2011
14 years 10 months ago
2011
: This work, a collaboration between Alstom Transport and the MIT Humans and Automation Laboratory (HAL), is focused on the development of an interactive in-cab scheduling interfac...
244
click to vote
ICCSA
2011
Springer
14 years 10 months ago
2011
Springer
The LMS plays a decisive role in most eLearning environments. Although they integrate many useful tools for managing eLearning activities, they must also be effectively integrated ...
195
click to vote
PAMI
2011
14 years 9 months ago
2011
In this paper we address the problem of tracking an object in a video given its location in the first frame and no other information. Recently, a class of tracking techniques cal...
202
click to vote
PRL
2011
14 years 9 months ago
2011
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
264
click to vote
RTA
2011
Springer
14 years 9 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...