Sciweavers

5398 search results - page 322 / 1080
» On the Effective Use of Software Standards in Systems Integr...
Sort
View
DEXAW
2006
IEEE
153views Database» more  DEXAW 2006»
16 years 25 days ago
Capturing and Using the Operational Semantics of Large Distributed Systems: Sharing Common Application Requirements in Virtual O
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...
211
Voted
AMAST
2008
Springer
15 years 8 months ago
Verification of Java Programs with Generics
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
Kurt Stenzel, Holger Grandy, Wolfgang Reif
DICTA
2003
15 years 8 months ago
Real-time Surveillance System by Use of the Face Understanding Technologies
This paper introduced a human surveillance system which integrated the face understanding technologies to recognize personal identities in real time. We proposed a coarse-to-fine s...
Yi-Tsung Chien, Yea-Shuan Huang, Sheng-Wen Jeng, Y...
IJCNN
2006
IEEE
16 years 24 days ago
Support Vector Machines to Weight Voters in a Voting System of Entity Extractors
—Support Vector Machines are used to combine the outputs of multiple entity extractors, thus creating a composite entity extraction system. The composite system has a significant...
Deborah Duong, James Venuto, Ben Goertzel, Ryan Ri...
ICMCS
2005
IEEE
184views Multimedia» more  ICMCS 2005»
16 years 11 days ago
Fuzzy relevance feedback in content-based image retrieval systems using radial basis function network
This paper presents a new framework called fuzzy relevance feedback in interactive content-based image retrieval (CBIR) systems based on soft-decision. An efficient learning appro...
Kim-Hui Yap, Kui Wu