22168 search results - page 4250 / 4434 » Computation in Gene Networks |
244
click to vote
BICA
2010
15 years 1 months ago
2010
We present a docking study for Herbal, a high-level behavioral representation language based on the problem space computational model. This study docks an ACT-R model created with ...
144
click to vote
EJWCN
2010
15 years 1 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
230
click to vote
IHI
2010
15 years 1 months ago
2010
The rising cost of healthcare is one of the major concerns faced by the nation. One way to lower healthcare costs and provide better quality care to patients is through the effect...
177
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Computer-Assisted Pronunciation Training System (CAPT) has become an important learning aid in second language (L2) learning. Our approach to CAPT is based on the use of phonologi...
277
click to vote
JCIT
2010
15 years 1 months ago
2010
The use of geographic data through Web services shows the geospatial Web Services (GWS). A growing number of GWS designed to interoperate spatial information over the network have...