8824 search results - page 249 / 1765 » On the Complexity of Real Functions |
196
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
179
click to vote
PERVASIVE
2005
Springer
16 years 3 days ago
2005
Springer
There is currently a lot of research going on in the field of mobile interaction with the real world. So far, the environment where the mobile phone is used is mainly perceived as...
188
click to vote
IJNSEC
2008
15 years 6 months ago
2008
Real time network monitoring for intrusions is offered by various host and network based intrusion detection systems. These systems largely use signature or pattern matching techni...
216
click to vote
IDEAL
2010
Springer
15 years 4 months ago
2010
Springer
World Wide Web (WWW) is a vast source of information, the problem of information overload is more acute than ever. Due to noise in WWW, it is becoming hard to find usable informati...
220
Voted
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
Dynamic storage allocation (DSA) algorithms play an important role in the modern software engineering paradigms and techniques (such as object oriented programming). Using DSA inc...