History


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 | next | last

Result 1 to 20 of 77 total

Ranking links on the web: Search and surf engines. (English)
Nguyen, Ngoc Thanh (ed.) et al., New frontiers in applied artificial intelligence. 21st international conference on industrial, engineering and other applications of applied intelligent systems, IEA/AIE 2008, Wrocław, Poland, June 18‒20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69045-0/pbk). Lecture Notes in Computer Science 5027. Lecture Notes in Artificial Intelligence, 199-208 (2008).
WorldCat.org
1
Ranking links on the web: search and surf engines (English)
IEA/AIE, 199-208 (2008).
WorldCat.org
2
Signature based intrusion detection using latent semantic analysis (English)
IJCNN, 1068-1074 (2008).
WorldCat.org
3
Client-side dynamic metadata in web 2.0 (English)
SIGDOC, 155-161 (2007).
WorldCat.org
4
Crick’s hypothesis revisited: the existence of a universal coding frame (English)
AINA Workshops (1), 745-751 (2007).
WorldCat.org
5
Le théorème de Perron Frobenius est-il vraiment nécessaire? (English)
BDA (2007).
WorldCat.org
6
Zoomed clusters (English)
ICONIP (2), 824-830 (2006).
WorldCat.org
7
Developing a pyramid structure for managing web-centric documents (English)
SIGDOC, 80-84 (2005).
WorldCat.org
8
Symbolic stochastic systems (English)
MSV/AMCS, 321-328 (2004).
WorldCat.org
9
Qualitative theorem proving in linear constraints. (English)
Dershowitz, Nachum (ed.), Verification: Theory and practice. Essays dedicated to Zohar Manna on the occasion of his 64th birthday. Berlin: Springer (ISBN 3-540-21002-4/pbk). Lecture Notes in Computer Science 2772, 395-406 (2003).
WorldCat.org
10
Qualitative theorem proving in linear constraints (English)
Verification: Theory and Practice, 395-406 (2003).
WorldCat.org
11
Similarity based classification (English)
IDA, 187-197 (2003).
WorldCat.org
12
Separability of polyhedra for optimal filtering of spatial and constraint data. (English)
J. Autom. Reasoning 23, No. 1, 83-104 (1999).
Classification: H.2.8 I.3.5
WorldCat.org
13
Separability of polyhedra for optimal filtering of spatial and constraint data (English)
PODS, 54-65 (1995).
WorldCat.org
14
Theorem proving and logic programming. Selected papers from the 2nd international symposium, Florida, USA, January 1992. (English)
Ann. Math. Artif. Intell. 8, No.3-4, 215-502 (1993).
WorldCat.org
15
Practical issues on the projection of polyhedral sets. (English)
Ann. Math. Artif. Intell. 6, No.4, 295-316 (1992).
WorldCat.org
16
On Fourier’s algorithm for linear arithmetic constraints. (English)
J. Autom. Reasoning 9, No.3, 373-379 (1992).
WorldCat.org
17
A canonical form for generalized linear constraints. (English)
J. Symb. Comput. 13, No.1, 1-24 (1992).
WorldCat.org
18
Theory and applications of artificial intelligence. (English)
Ann. Math. Artif. Intell. 4, No.1-2, 210 p. (1991).
WorldCat.org
19
Computational logic. Essays in honor of Alan Robinson. (English)
Cambridge, MA: MIT Press. viii, 727 p. \$ 75.00 (1991).
WorldCat.org
20
first | previous | 1 21 41 61 | next | last

Result 1 to 20 of 77 total

Valid XHTML 1.0 Transitional Valid CSS!