180 search results - page 24 / 36 » Hierarchical System Combination for Machine Translation |
128
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
151
Voted
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
133
Voted
IJCAI
2001
15 years 4 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
148
click to vote
ACL
2006
15 years 4 months ago
2006
When training the parameters for a natural language system, one would prefer to minimize 1-best loss (error) on an evaluation set. Since the error surface for many natural languag...
135
Voted
SDM
2004
SIAM
15 years 4 months ago
2004
SIAM
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...