2066 search results - page 315 / 414 » Word Maturity: Computational Modeling of Word Knowledge |
TCS
2008
13 years 9 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
SOCO
1998
Springer
13 years 9 months ago
1998
Springer
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...
SIAMCOMP
2002
13 years 9 months ago
2002
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
SIAMAM
2010
13 years 7 months ago
2010
A model equation for gravity-capillary waves in deep water is proposed. This model is a quadratic approximation of the deep water potential flow equations, and has wavepacket-type...
JCC
2011
13 years 4 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...