2446 search results - page 79 / 490 » Where am I |
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
EUC
2005
Springer
14 years 3 months ago
2005
Springer
This paper introduces a novel approach to enhancing safety through RFID technology, location tracking, and monitoring person-object interaction. We design and develop RFID-based we...
MFCS
2005
Springer
14 years 3 months ago
2005
Springer
For a string A = a1 . . . an, a reversal ρ(i, j), 1 ≤ i < j ≤ n, transforms the string A into a string A = a1 . . . ai−1ajaj−1 . . . aiaj+1 . . . an, that is, the reve...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
Given a vector ( 1 2 ::: t) of non increasing positive integers, and an undirected graph G = (V E), an L( 1 2 ::: t)-coloring of G is a function f from the vertex set V to a set o...
SG
2010
Springer
14 years 3 months ago
2010
Springer
iCanDraw is a drawing tool that can assist novice users to draw. The goal behind the system is to enable the users to perceive objects beyond what they know and improve their spati...