9503 search results - page 366 / 1901 » Authenticated System Calls |
183
click to vote
INFSOF
2007
15 years 7 months ago
2007
Software clustering algorithms presented in the literature rarely incorporate in the clustering process dynamic information, such as the number of function invocations during runt...
215
click to vote
TSP
2008
15 years 7 months ago
2008
A novel method for the estimation of a finite part of the impulse response is presented. The method is consistent in case the measured output data are prone to colored noise. The c...
216
click to vote
AI
2002
Springer
15 years 7 months ago
2002
Springer
Abstract In this paper, we describe our Question Answering (QA) system called QUANTUM. The goal of QUANTUM is to find the answer to a natural language question in a large document ...
214
click to vote
APIN
2002
15 years 7 months ago
2002
Evolutionary computation has shown a great potential to work out several real-world problems in the point of optimization, but it is still quite far from realizing a system of matc...
206
click to vote
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
15 years 6 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...