1607 search results - page 228 / 322 » The existence of k-radius sequences |
ISSAC
2007
Springer
14 years 3 months ago
2007
Springer
Shirayanagi and Sweedler proved that a large class of algorithms over the reals can be modified slightly so that they also work correctly on fixed-precision floating-point numb...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
WWIC
2007
Springer
14 years 3 months ago
2007
Springer
It is well known that the presence of nodes using a low data transmit rate has a disproportionate impact on the performance of an IEEE 802.11 WLAN. ORP is an opportunistic relay pr...
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents an approach to recover body motions from multiple views using a 3D skeletal model. It takes, as input, foreground silhouette sequences from multiple viewpoints...
DFT
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a procedure for Synthesis of LINear test pattern Generators called SLING. SLING can synthesize linear test pattern generators that satisfy constraints on area,...