7623 search results - page 1061 / 1525 » Constructive Volume Modeling |
186
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
169
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
206
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
181
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
183
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
One-class classification naturally only provides one class of exemplars on which to construct the classification model. In this work, multiobjective genetic programming (GP) all...