1888 search results - page 66 / 378 » Proof theory and computational analysis |
105
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...
85
Voted
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In agent-based computational economics, many different trading strategies have been proposed. Given the kinds of market that such trading strategies are employed in, it i...
75
Voted
COLING
2010
14 years 7 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
155
click to vote
COMPGEOM
2011
ACM
14 years 4 months ago
2011
ACM
We present a clustering scheme that combines a mode-seeking phase with a cluster merging phase in the corresponding density map. While mode detection is done by a standard graph-b...
88
Voted
DAGSTUHL
2000
15 years 1 months ago
2000
We study the computation of rotation-invariant similarity measures of convex polyhedra, based on Minkowski's theory of mixed volumes. To compute the similarity measure, a (mix...