5864 search results - page 1136 / 1173 » Can We Work around Numerical Methods |
151
Voted
JIDM
2010
15 years 3 months ago
2010
One of the most important challenges for the researchers in the 21st Century is related to global heating and climate change that can have as consequence the intensification of na...
174
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
151
Voted
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
127
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
As one of the most effective query expansion approaches, local feedback is able to automatically discover new query terms and improve retrieval accuracy for different retrieval ...
137
Voted
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
Wireless sensor networks (WSNs) have many potential applications. Furthermore, in many scenarios WSNs are of interest to adversaries and they become susceptible to some types of a...