11151 search results - page 225 / 2231 » On the Complexity of Model Expansion |
253
click to vote
CGF
2010
15 years 5 months ago
2010
The human shoulder complex is perhaps the most complicated joint in the human body being comprised of a set of three bones, muscles, tendons, and ligaments. Despite this anatomica...
216
click to vote
TFS
2008
15 years 5 months ago
2008
Abstract--This study presents a functional-link-based neurofuzzy network (FLNFN) structure for nonlinear system control. The proposed FLNFN model uses a functional link neural netw...
196
click to vote
STOC
2006
ACM
16 years 7 months ago
2006
ACM
We consider the problem of bounded-error quantum state identification: given either state 0 or state 1, we are required to output `0', `1' or `?' ("don't ...
201
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
191
click to vote
VMCAI
2005
Springer
16 years 20 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...