35 search results - page 3 / 7 » Developing Topology Discovery in Event-B |
SMA
2010
ACM
13 years 5 months ago
2010
ACM
Electrophysiological modeling of dendrites and other neurological processes is generally done in a simplified manner, by treating these structures as a series of cylinders (aka ca...
EPEW
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Distributed security models based on a ‘web of trust’ eliminate single points of failure and alleviate performance bottlenecks. However, such distributed approaches r...
ACMACE
2009
ACM
13 years 6 months ago
2009
ACM
We here present Fun in Numbers (FinN), a framework for developing pervasive applications and interactive installations for entertainment and educational purposes. Using ad hoc mob...
NIPS
2007
13 years 6 months ago
2007
Semantic memory refers to our knowledge of facts and relationships between concepts. A successful semantic memory depends on inferring relationships between items that are not exp...
BMCBI
2008
13 years 5 months ago
2008
Background: Inference of evolutionary trees using the maximum likelihood principle is NP-hard. Therefore, all practical methods rely on heuristics. The topological transformations...