10568 search results - page 174 / 2114 » Computer Intelligence and Formalization |
101
Voted
HCI
2001
15 years 4 months ago
2001
This article outlines some challenges and opportunities in the area of universal access to intelligent interfaces. Technological advances in computing and communication together w...
90
Voted
ISMB
1994
15 years 4 months ago
1994
Anapproachto protein structure comparisonis presented whichuses techniquesof artificial intelligence (AI) generate a mappingbetweentwoprotein structures. The approachproceedsby fi...
134
Voted
TCC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
129
Voted
ITNG
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper is the last one in a series of four papers and presents a minimal geographic services’ specification, based in the core related to business requirements, specially sp...
123
Voted
GD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper describes a system for Graph dRawing with Intelligent Placement, GRIP. The GRIP system is designed for drawing large graphs and uses a novel multi-dimensional ...