Sciweavers

3745 search results - page 469 / 749
» Sonic: System Description
Sort
View
FM
2005
Springer
88views Formal Methods» more  FM 2005»
16 years 5 days ago
Timing Tolerances in Safety-Critical Software
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
Alan Wassyng, Mark Lawford, Xiayong Hu
ICANN
2005
Springer
16 years 4 days ago
Dynamics of Cortical Columns - Self-organization of Receptive Fields
We present a system of differential equations which abstractly models neural dynamics and synaptic plasticity of a cortical macrocolumn. The equations assume inhibitory coupling b...
Jörg Lücke, Jan D. Bouecke
ICAPR
2005
Springer
16 years 4 days ago
A Novel Approach for Text Detection in Images Using Structural Features
We propose a novel approach for finding text in images by using ridges at several scales. A text string is modelled by a ridge at a coarse scale representing its center line and n...
H. Tran, Augustin Lux, H. L. Nguyen T, A. Boucher
ROBOCUP
2005
Springer
119views Robotics» more  ROBOCUP 2005»
16 years 3 days ago
Flexible Coordination of Multiagent Team Behavior Using HTN Planning
The domain of robotic soccer is known as a highly dynamic and non-deterministic environment for multiagent research. We introduce an approach using Hierarchical Task Network planni...
Oliver Obst, Joschka Boedecker
SEMWEB
2005
Springer
16 years 3 days ago
Semantic Browsing of Digital Collections
Visiting museums is an increasingly popular pastime. Studies have shown that visitors can draw on their museum experience, long after their visit, to learn new things in practical ...
Trevor D. Collins, Paul Mulholland, Zdenek Zdr&aac...