6554 search results - page 1070 / 1311 » Constraint Logic Programming |
137
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
To address the problem of performing long time simulations of biochemical pathways under in vivo cellular conditions, we have developed a lattice-based, reaction-diffusion model t...
168
click to vote
MDM
2009
Springer
15 years 11 months ago
2009
Springer
Indoor navigation highly depends on context and requires flexible data structures to support the many use cases and configurations. For example, an indoor navigation system must c...
132
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
N-detect test has been shown to have a higher likelihood for detecting defects. However, traditional definitions of Ndetect test do not necessarily exploit the localized characte...
160
click to vote
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
The demand for real-time data services in embedded systems is increasing. In these new computing platforms, using traditional buffer management schemes, whose goal is to minimize ...
170
click to vote
AB
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. A well-known discrete approach to modeling biological regulatory networks is the logical framework developed by R. Thomas. The network structure is captured in an interac...