3804 search results - page 544 / 761 » interactions 2008 |
187
click to vote
ENTCS
2008
15 years 6 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
166
click to vote
ESWA
2008
15 years 6 months ago
2008
Resources in virtual organizations are classified based on their local taxonomies. However, heterogeneity between these taxonomies is a serious problem for efficient cooperation p...
150
click to vote
ESWA
2008
15 years 6 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...
158
click to vote
FSS
2008
15 years 6 months ago
2008
Numerical possibility theory, belief function have been suggested as useful tools to represent imprecise, vague or incomplete information. They are particularly appropriate in unc...
183
click to vote
FUIN
2008
15 years 6 months ago
2008
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...