2514 search results - page 333 / 503 » The use of industrial-strength formal methods |
130
click to vote
CEC
2007
IEEE
16 years 24 days ago
2007
IEEE
— Hyper-heuristics or “heuristics that coordinate heuristics” are fastly becoming popular for solving combinatorial optimisation problems. These methods do not search directl...
171
click to vote
ICMB
2007
IEEE
16 years 23 days ago
2007
IEEE
In this paper, we present an assessment of NFC (Near Field Communication) for future mobile payment systems. NFC is expected to become a very trendy technology for mobile services...
161
click to vote
ICSNC
2007
IEEE
16 years 23 days ago
2007
IEEE
This article presents a new trend in computerized medical image analysis of breast cancer features, existing in mammograms (grey scale 2D images), based on recent approaches of th...
156
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
141
click to vote
CAV
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...