Sciweavers

3335 search results - page 549 / 667
» Grid result checking
Sort
View
PKDD
2000
Springer
107views Data Mining» more  PKDD 2000»
15 years 7 months ago
Expert Constrained Clustering: A Symbolic Approach
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
Fabrice Rossi, Frédérick Vautrain
ICLP
1995
Springer
15 years 7 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
128
Voted
ICSE
1995
IEEE-ACM
15 years 7 months ago
A Compact Petri Net Representation for Concurrent Programs
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
CIVR
2009
Springer
141views Image Analysis» more  CIVR 2009»
15 years 7 months ago
Automatic retrieval of visual continuity errors in movies
Continuity errors occur in many movies and television series, in spite of careful checking by those employed to minimise them. In this work we develop a scheme for automatically d...
Lyndsey C. Pickup, Andrew Zisserman
AAAI
2007
15 years 6 months ago
Recognition of Hand Drawn Chemical Diagrams
Chemists often use hand-drawn structural diagrams to capture and communicate ideas about organic compounds. However, the software available today for specifying these structures t...
Tom Y. Ouyang, Randall Davis