3564 search results - page 554 / 713 » Evaluating a Formal Modelling Language |
CLEF
2005
Springer
15 years 3 months ago
2005
Springer
This year, we have participated on multilingual two years on and Multi-8 merging-only CLEF task. Our main interest has been to test several usual CLIR tasks and investigate how th...
ESWA
2008
14 years 10 months ago
2008
Video question answering aims to pinpoint answers in response to user's specified questions. However, most question answering technologies involve in integrating rich specifi...
ACL
2012
13 years 16 days ago
2012
Long distance word reordering is a major challenge in statistical machine translation research. Previous work has shown using source syntactic trees is an effective way to tackle ...
100
Voted
ETFA
2006
IEEE
15 years 1 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
79
Voted
BCS
2008
14 years 11 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...