23201 search results - page 4281 / 4641 » Rewriting Systems with Data |
192
click to vote
AISS
2010
15 years 4 months ago
2010
The node selection for the migration of a mobile agent depends on the content of the referenced metadata in the naming space. The reliability of the migrated information is determ...
215
click to vote
CN
2010
15 years 4 months ago
2010
The growth of the Internet has brought about many challenges for its critical infrastructure. The DNS infrastructure, which translates mnemonic host names into IP addresses unders...
189
click to vote
COMSIS
2010
15 years 4 months ago
2010
We propose a new method for matching two 3D point sets of identical cardinality with global similarity but local non-rigid deformations and distribution errors. This problem arises...
221
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Time synchronization of video sequences in a multi-camera system is necessary for successfully analyzing the acquired visual information. Even if synchronization is established, it...
180
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...