9504 search results - page 1504 / 1901 » Dynamic Substitution Model |
192
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
156
click to vote
ICANN
2005
Springer
16 years 11 days ago
2005
Springer
This research employs unsupervised pattern recognition to approach the thorny issue of detecting anomalous network behavior. It applies a connectionist model to identify user behav...
187
click to vote
ICANN
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) entities interacting locally with their environment cause cohere...
176
click to vote
ISAAC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract The 2-Interval Pattern problem is to find the largest constrained pattern in a set of 2-intervals. The constrained pattern is a subset of the given 2-intervals such that ...
168
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...