2903 search results - page 447 / 581 » On the univalence of an integral operator |
219
click to vote
ISSTA
2004
ACM
16 years 16 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
179
click to vote
SENSYS
2004
ACM
16 years 15 days ago
2004
ACM
An ad-hoc wireless sensor network-based system is presented that detects and accurately locates shooters even in urban environments. The system consists of a large number of cheap...
225
click to vote
DAWAK
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Most of the research in data mining has been focused on developing novel algorithms for specific data mining tasks. However, finding the theoretical foundations of data...
186
click to vote
DFG
2004
Springer
16 years 15 days ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
218
click to vote
FMCAD
2004
Springer
16 years 14 days ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...