257 search results - page 30 / 52 » Breaking Robert's Rules |
SIBGRAPI
2000
IEEE
14 years 11 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 s...
TPHOL
1999
IEEE
14 years 8 days ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
HICSS
1998
IEEE
14 years 8 days ago
1998
IEEE
This paper describes the uses and architecture of a network-centered computing-rich software platform called PowerWeb. PowerWeb was designed and built as a simulation environment ...
SIGSOFT
1998
ACM
14 years 7 days ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
APCHI
2004
IEEE
13 years 11 months ago
2004
IEEE
Haiku is a data mining system which combines the best properties of human and machine discovery. An self organising visualisation system is coupled with a genetic algorithm to prov...