11797 search results - page 61 / 2360 » Recent Developments in the Experimental |
186
click to vote
WEA
2007
Springer
16 years 17 hour ago
2007
Springer
Algorithms for route planning in transportation networks have recently undergone a rapid development, leading to methods that are up to one million times faster than Dijkstra’s a...
147
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
144
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
In ranking, one is given examples of order relationships among objects, and the goal is to learn from these examples a real-valued ranking function that induces a ranking or order...
158
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
143
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
- Micromachined power sensors with operation up to 50 GHz were recently achieved in CMOS technology [1]. To improve their sensitivity and signal-to-noise ratio, while maintaining m...