3172 search results - page 625 / 635 » Combining Specification Techniques for Processes, Data and T... |
130
click to vote
ISCI
2007
15 years 5 months ago
2007
: In our book to appear in print from Springer-Verlag GmbH, Simulating Continuous Fuzzy Systems, Buckley and Jowers, we use crisp continuous simulation under Matlab™/Simulink™ ...
185
click to vote
ESEM
2010
ACM
15 years 4 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
202
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
193
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
The exponential growth of data demands scalable infrastructures capable of indexing and searching rich content such as text, music, and images. A promising direction is to combine...
161
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— When multiple paths are available between communicating hosts, application quality can be improved by switching among them to always use the best one. The key to such a...