4814 search results - page 352 / 963 » Combining abstract interpreters |
159
click to vote
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
179
Voted
SKG
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
149
click to vote
CEC
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract- This paper presents a new operator for genetic algorithms that enhances their convergence in the case of nonlinear problems with nonlinear equality constraints. The propo...
167
click to vote
COMPSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
179
click to vote
IAT
2005
IEEE
16 years 11 days ago
2005
IEEE
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...