Sciweavers

9521 search results - page 305 / 1905
» Compiling with continuations, continued
Sort
View
ICTAI
2008
IEEE
15 years 10 months ago
Neural Network Language Models for Translation with Limited Data
In this paper we present how to estimate a continuous space Language Model with a Neural Network to be used in a Statistical Machine Translation system. We report results for an I...
Maxim Khalilov, José A. R. Fonollosa, Franc...
148
Voted
DASFAA
2007
IEEE
202views Database» more  DASFAA 2007»
15 years 10 months ago
Optimizing Moving Queries over Moving Object Data Streams
With the increasing in demand on location-based aware services and RFIDs, efficient processing of continuous queries over moving object streams becomes important. In this paper, w...
Dan Lin, Bin Cui, Dongqing Yang
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
15 years 10 months ago
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
Uluc Saranli, Frank Pfenning
CAEPIA
2007
Springer
15 years 10 months ago
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance
This paper continues the research line on the multimodal
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
HYBRID
2005
Springer
15 years 9 months ago
The Discrete Time Behavior of Lazy Linear Hybrid Automata
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
Manindra Agrawal, P. S. Thiagarajan