257 search results - page 29 / 52 » Breaking Robert's Rules |
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Digital pathology or telepathology intends to extend the usage of electronic images for diagnostical, support or educational purposes in anatomical or clinical pathology....
COOPIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. This paper first introduces ontologies in general and subseque...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
AOSE
2001
Springer
14 years 15 days ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
ICPR
2000
IEEE
14 years 12 days ago
2000
IEEE
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of ...