Sciweavers

23201 search results - page 4281 / 4641
» Rewriting Systems with Data
Sort
View
AISS
2010
97views more  AISS 2010»
15 years 4 months ago
The Naming Service of Multi-Agent for the Sensor Network Applications
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...
Yonsik Lee, Minseok Jang
CN
2010
112views more  CN 2010»
15 years 4 months ago
An Internet without the Internet protocol
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...
Craig A. Shue, Minaxi Gupta
COMSIS
2010
15 years 4 months ago
3D point pattern matching based on spatial geometric flexibility
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...
Xiaopeng Wei, Xiaoyong Fang, Qiang Zhang, Dongshen...
ECCV
2010
Springer
15 years 4 months ago
Video Synchronization Using Temporal Signals from Epipolar Lines
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...
Dmitry Pundik, Yael Moses
FUIN
2010
103views more  FUIN 2010»
15 years 4 months ago
Automation for Dependently Typed Functional Programming
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
Sean Wilson, Jacques D. Fleuriot, Alan Smaill
« Prev « First page 4281 / 4641 Last » Next »