5015 search results - page 586 / 1003 » Model Checking a Path |
157
click to vote
ACL
2008
15 years 8 months ago
2008
Parse-tree paths are commonly used to incorporate information from syntactic parses into NLP systems. These systems typically treat the paths as atomic (or nearly atomic) features...
175
click to vote
OPODIS
2008
15 years 8 months ago
2008
Kleinberg [17] proposed in 2000 the first random graph model achieving to reproduce small world navigability, i.e. the ability to greedily discover polylogarithmic routes between a...
169
click to vote
WSC
2000
15 years 8 months ago
2000
What actuaries call cash flow testing is a large-scale simulation pitting a company's current policy obligation against future earnings based on interest rates. While life co...
184
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We consider the problem of finding sufficiently simple models of high-dimensional physical systems that are consistent with observed trajectories, and using these models to s...
174
click to vote
JCC
2011
15 years 1 months ago
2011
Abstract: Wordom is a versatile, user-friendly, and efficient program for manipulation and analysis of molecular structures and dynamics. The following new analysis modules have b...