630 search results - page 81 / 126 » Symbolic Domain Decomposition |
CSJM
2008
13 years 11 months ago
2008
A hybrid network of evolutionary processors (an HNEP) is a graph where each node is associated with an evolutionary processor (a special rewriting system), a set of words, an inpu...
SYNTHESE
2008
13 years 10 months ago
2008
Anyadvancedtheoryofphysicscontainsmodulesdefinedasessentialcomponents that are themselves theories with different domains of application. Different kinds of modules can be distingu...
FMSD
2002
13 years 10 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
EMNLP
2010
13 years 9 months ago
2010
This paper focuses on the task of inserting punctuation symbols into transcribed conversational speech texts, without relying on prosodic cues. We investigate limitations associat...
ICUMT
2009
13 years 8 months ago
2009
To solve the defect in IEEE 802.11p standard that coherence bandwidth is insufficient to estimate the channel state in rich scattering environment, hance a time domain channel esti...