Sciweavers

2191 search results - page 203 / 439
» Aspect - A Problem For MT
Sort
View
CSDA
2007
105views more  CSDA 2007»
15 years 4 months ago
GSA-based maximum likelihood estimation for threshold vector error correction model
The log-likelihood function of threshold vector error correction models is neither differentiable, nor smooth with respect to some parameters. Therefore, it is very difficult to ...
Zheng Yang, Zheng Tian, Zixia Yuan
DBSK
2007
98views more  DBSK 2007»
15 years 4 months ago
MTrainSchedule: Combining Web Services and Data Caching on Mobile Devices
Abstract. Despite recent improvements in wireless network protocols and the manufacturing of better, more performant mobile devices, developing mobile applications and services sti...
Iulia Ion, Alexandru Caracas, Hagen Höpfner
140
Voted
JSW
2008
101views more  JSW 2008»
15 years 4 months ago
Broadcast Authentication with Practically Unbounded One-way Chains
A protocol for assuring the authenticity of information broadcasted over long periods of time is proposed. The protocol is based on time synchronization and uses one-way chains con...
Bogdan Groza
145
Voted
JUCS
2008
117views more  JUCS 2008»
15 years 4 months ago
Disentangling Denotational Semantics Definitions
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
Fabio Tirelo, Roberto da Silva Bigonha, Joã...
121
Voted
AI
2005
Springer
15 years 4 months ago
First order LUB approximations: characterization and algorithms
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
Alvaro del Val