3745 search results - page 259 / 749 » Sonic: System Description |
269
click to vote
ECSA
2011
Springer
14 years 6 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
287
click to vote
Book
This book covers several topics such as Classification, Classical Statistical Methods, Modern Statistical Techniques, Machine Learning of Rules and Trees, Neural Networks
Methods ...
145
click to vote
ECCV
1990
Springer
16 years 8 months ago
1990
Springer
This paper describes techniques for dynamically modeling the 2-D appearance and 3-D geometry of a
scene by integrating information from a moving camera. These techniques are illus...
143
click to vote
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
184
Voted
CAV
2005
Springer
16 years 7 days ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...