10568 search results - page 174 / 2114 » Computer Intelligence and Formalization |
141
click to vote
HCI
2001
15 years 7 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...
130
click to vote
ISMB
1994
15 years 7 months ago
1994
Anapproachto protein structure comparisonis presented whichuses techniquesof artificial intelligence (AI) generate a mappingbetweentwoprotein structures. The approachproceedsby fi...
190
click to vote
TCC
2004
Springer
15 years 11 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...
180
click to vote
ITNG
2010
IEEE
15 years 11 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...
167
click to vote
GD
2000
Springer
15 years 10 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 ...