1982 search results - page 374 / 397 » Parametricity and dependent types |
HAPTICS
2009
IEEE
15 years 1 months ago
2009
IEEE
Within the HapCath - haptic catheter - project an assistive system for interventional catheterizations has been developed. Conventional navigation during catheterization is done b...
FLAIRS
2010
15 years 4 days ago
2010
Nowadays, graph-based knowledge discovery algorithms do not consider numeric attributes (they are discarded in the preprocessing step, or they are treated as alphanumeric values w...
AAAI
2008
15 years 4 days ago
2008
Cooperative problem solving with resource constraints are important in practical multi-agent systems. Resource constraints are necessary to handle practical problems including dis...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
The Distributed Constraint Optimization Problem (DCOP) is a fundamental formalism for multi-agent cooperation. A dedicated framework called Resource Constrained DCOP (RCDCOP) has ...
101
click to vote
CCS
2006
ACM
14 years 11 months ago
2006
ACM
Packet filtering plays a critical role in many of the current high speed network technologies such as firewalls and IPSec devices. The optimization of firewall policies is critica...