1932 search results - page 195 / 387 » Self-organizing context learning |
145
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Reliably extracting information from aerial imagery is a difficult problem with many practical applications. One specific case of this problem is the task of automatica...
121
click to vote
ASWEC
2000
IEEE
15 years 9 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
149
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
137
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
The experience described in this paper is being developed in the framework of the PALETTE1 project by two teams of researchers involved in collecting information from some Communi...
139
click to vote
ESAS
2006
Springer
15 years 8 months ago
2006
Springer
We investigate the performance of of several protocol enhancements to the On-Demand Secure Byzantine Routing (ODSBR) [3] protocol in the presence of various Byzantine Attack models...