1919 search results - page 131 / 384 » Recent Extensions to Traviando |
127
click to vote
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
121
click to vote
ISCIS
2005
Springer
15 years 9 months ago
2005
Springer
The stream control transmission protocol (SCTP) is a new transport protocol, which provides multi-streaming and multi-homing features. Especially, recent SCTP extensions with dynam...
143
click to vote
ISNN
2005
Springer
15 years 9 months ago
2005
Springer
Load forecasting has become in recent years one of the major areas of research in electrical engineering. In a deregulated, competitive power market, utilities tend to maintain the...
151
Voted
PKDD
2005
Springer
15 years 9 months ago
2005
Springer
Locally Linear Embedding (LLE) has recently been proposed as a method for dimensional reduction of high-dimensional nonlinear data sets. In LLE each data point is reconstructed fro...
150
Voted
SAT
2005
Springer
15 years 9 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...