8828 search results - page 1628 / 1766 » Formal methods in practice |
121
click to vote
ECIS
2004
15 years 5 months ago
2004
Discursive-based analysis of organizations is not new in the field of interpretive social studies. Since not long ago have information systems (IS) studies also shown a keen inter...
143
click to vote
CCCG
2003
15 years 5 months ago
2003
Morphing algorithms aim to construct visually pleasing interpolations (morphs) between 2D or 3D shapes. One of the desirable properties of a morph is avoiding selfintersections of...
141
click to vote
IJIT
2004
15 years 5 months ago
2004
Abstract-- Biological sequences from different species are called orthologs if they evolved from a sequence of a common ancestor species and they have the same biological function....
160
click to vote
EACL
2003
ACL Anthology
15 years 5 months ago
2003
ACL Anthology
We present a text-based approach for the automatic indexing and retrieval of digital photographs taken at crime scenes. Our research prototype, SOCIS, goes beyond keyword-based ap...
131
click to vote
SERP
2003
15 years 5 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...