3742 search results - page 503 / 749 » On the Use of Formal Techniques for Validation |
193
click to vote
AUSAI
2004
Springer
16 years 4 hour ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...
164
click to vote
IEAAIE
2003
Springer
15 years 11 months ago
2003
Springer
Integration of heterogeneous statistics is essential for political decision making on all levels. Like in intelligent information integration in general, the problem is to combine ...
176
Voted
TIME
2002
IEEE
15 years 11 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
184
click to vote
VISSYM
2007
15 years 9 months ago
2007
We present TrustNeighborhoods, a security trust visualization for situational awareness on the Internet aimed at novice and intermediate users of a distributed file sharing system...
183
click to vote
APCCM
2009
15 years 7 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...