Sciweavers

2783 search results - page 435 / 557
» The Nature Of Near-Synonymic Relations
Sort
View
CORR
2010
Springer
120views Education» more  CORR 2010»
15 years 1 months ago
Dynamical issues in interactive representation of physical objects
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
Jean-Loup Florens, Alina Voda, Daniela Urma
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 1 months ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
89
Voted
CORR
2010
Springer
168views Education» more  CORR 2010»
15 years 1 months ago
A Bayesian Review of the Poisson-Dirichlet Process
The two parameter Poisson-Dirichlet process is also known as the PitmanYor Process and related to the Chinese Restaurant Process, is a generalisation of the Dirichlet Process, and...
Wray L. Buntine, Marcus Hutter
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 1 months ago
Stateless and Delivery Guaranteed Geometric Routing on Virtual Coordinate System
Abstract-- Stateless geographic routing provides relatively good performance at a fixed overhead, which is typically much lower than conventional routing protocols such as AODV. Ho...
Ke Liu, Nael B. Abu-Ghazaleh
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 1 months ago
Emergency Response Communications and Associated Security Challenges
The natural or man-made disaster demands an efficient communication and coordination among first responders to save life and other community resources. Normally, the traditional c...
Muhammad Ibrahim Channa, Kazi M. Ahmed