3868 search results - page 506 / 774 » Open Systems in TLA |
175
click to vote
LPAR
2007
Springer
16 years 23 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
173
click to vote
AICCSA
2006
IEEE
16 years 21 days ago
2006
IEEE
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
147
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
During the past decade, the scientific community has witnessed the rapid accumulation of gene sequence data and data related to physiology and biochemistry of organisms. Bioinform...
178
click to vote
ETFA
2006
IEEE
16 years 21 days ago
2006
IEEE
The more the information technologies begin to be incorporated into the industrial productive fabric, the more complex it becomes to organise them. It is vital to implant proactiv...
147
click to vote
ICRA
2006
IEEE
16 years 20 days ago
2006
IEEE
— 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...