Sciweavers

1242 search results - page 198 / 249
» A Computational Complexity Theory in Membrane Computing
Sort
View
CONCUR
2007
Springer
15 years 3 months ago
Causal Message Sequence Charts
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
Thomas Gazagnaire, Blaise Genest, Loïc H&eacu...
COSIT
2007
Springer
136views GIS» more  COSIT 2007»
15 years 3 months ago
Spatial Semantics in Difference Spaces
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
Vlad Tanasescu
DNA
2007
Springer
159views Bioinformatics» more  DNA 2007»
15 years 3 months ago
Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
Urmi Majumder, Thomas H. LaBean, John H. Reif
GECCO
2007
Springer
137views Optimization» more  GECCO 2007»
15 years 3 months ago
Extended probe method for linkage discovery over high-cardinality alphabets
The work addresses the problem of identifying the epistatic linkage of a function from high cardinality alphabets to the real numbers. It is a generalization of Heckendorn and Wri...
Shude Zhou, Zengqi Sun, Robert B. Heckendorn
ICRA
2006
IEEE
124views Robotics» more  ICRA 2006»
15 years 3 months ago
Stereo based Obstacle Detection for an Unmanned Air Vehicle
— This paper presents the Visual Threat Awareness (VISTA) system for real time collision obstacle detection for an unmanned air vehicle (UAV). Computational stereo performance ha...
Jeffrey Byrne, Martin Cosgrove, Raman K. Mehra