2324 search results - page 172 / 465 » Presenting Dynamic Information on Mobile Computers |
GLVLSI
2000
IEEE
14 years 1 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
BMVC
2000
13 years 10 months ago
2000
We propose a novel hierarchical model of human dynamics for view independent tracking of the human body in monocular video sequences. The model is trained using real data from a c...
MOBIHOC
2004
ACM
14 years 9 months ago
2004
ACM
We present the Feasible Label Routing (FLR) protocol for mobile ad hoc networks, which uses path information to establish routes to destinations on demand. FLR enables loopfree in...
ISPAN
2005
IEEE
14 years 2 months ago
2005
IEEE
The amount of Task Level Parallelism (TLP) in runtime workload is useful information to determine the efficient usage of multiprocessors. This paper presents mechanisms to dynami...
ISCC
2005
IEEE
14 years 2 months ago
2005
IEEE
The availability of powerful personal computers and high bandwidth home connectivity is changing the way users cooperate and exchange information on the network. Peer to peer comp...