Sciweavers

6906 search results - page 146 / 1382
» An algorithm for modelling key terms
Sort
View
ECLIPSE
2004
ACM
15 years 10 months ago
FeaturePlugin: feature modeling plug-in for Eclipse
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
Michal Antkiewicz, Krzysztof Czarnecki
132
Voted
NETWORKING
2004
15 years 6 months ago
Scalable Packet Classification through Maximum Entropy Hashing
In this paper we propose a new packet classification algorithm, which can substantially improve the performance of a classifier by decreasing the rulebase lookup latency. The algor...
Lynn Choi, Jaesung Heo, Hyogon Kim, Jinoo Joung, S...
ESOP
2005
Springer
15 years 10 months ago
A Type System Equivalent to a Model Checker
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
Mayur Naik, Jens Palsberg
148
Voted
JCB
2006
185views more  JCB 2006»
15 years 4 months ago
Bayesian Sequential Inference for Stochastic Kinetic Biochemical Network Models
As postgenomic biology becomes more predictive, the ability to infer rate parameters of genetic and biochemical networks will become increasingly important. In this paper, we expl...
Andrew Golightly, Darren J. Wilkinson
NN
2011
Springer
217views Neural Networks» more  NN 2011»
14 years 7 months ago
A neurodynamical model for working memory
Neurodynamical models of working memory (WM) should provide mechanisms for storing, maintaining, retrieving, and deleting information. Many models address only a subset of these a...
Razvan Pascanu, Herbert Jaeger