6434 search results - page 1096 / 1287 » Model Transformations with Reference Models |
129
Voted
AAAI
1994
15 years 4 months ago
1994
A distributed neural network model called SPEC for processing sentences with recursive relative clauses is described. The model is based on separating the tasks of segmenting the ...
161
click to vote
WOTUG
2007
15 years 4 months ago
2007
Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...
125
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Comparative genomics aims to detect signals of evolutionary conservation as an indicator of functional constraint. Surprisingly, results of the ENCODE project revealed...
115
Voted
MOR
2008
15 years 3 months ago
2008
We consider a singular stochastic control problem, which is called the Monotone Follower Stochastic Control Problem and give sufficient conditions for the existence and uniqueness...
161
click to vote
FMSD
2007
15 years 3 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...