×

Found 3,302 Documents (Results 1–100)

A reinforcement learning approach to the Internet QoS routing problems. (English) Zbl 1494.68021

Proceedings of the 36th ISCIE international symposium on stochastic systems theory and its applications, Saitama, Japan, November 3–4, 2004. Kyoto: Institute of Systems, Control and Information Engineers (ISCIE). 78-83 (2005).
MSC:  68M11 68T05
PDFBibTeX XMLCite

Semi-supervised learning for Bayesian pattern classification. (English) Zbl 1446.62175

Knuth, Kevin H. (ed.) et al., Bayesian inference and maximum entropy methods in science and engineering. 25th international workshop on Bayesian inference and maximum entropy methods in science and engineering, San Jose, California, USA, August 7–12, 2005. Melville, NY: American Institute of Physics (AIP). AIP Conf. Proc. 803, 517-524 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Bayesian multinomial logistic regression for author identification. (English) Zbl 1446.62211

Knuth, Kevin H. (ed.) et al., Bayesian inference and maximum entropy methods in science and engineering. 25th international workshop on Bayesian inference and maximum entropy methods in science and engineering, San Jose, California, USA, August 7–12, 2005. Melville, NY: American Institute of Physics (AIP). AIP Conf. Proc. 803, 509-516 (2005).
MSC:  62J12 62P99 68T05
PDFBibTeX XMLCite
Full Text: DOI Link

Variational Bayesian learning for wavelet independent component analysis. (English) Zbl 1446.62349

Knuth, Kevin H. (ed.) et al., Bayesian inference and maximum entropy methods in science and engineering. 25th international workshop on Bayesian inference and maximum entropy methods in science and engineering, San Jose, California, USA, August 7–12, 2005. Melville, NY: American Institute of Physics (AIP). AIP Conf. Proc. 803, 274-281 (2005).
PDFBibTeX XMLCite
Full Text: DOI Link

The visibility-Voronoi complex and its applications. (English) Zbl 1387.68278

Proceedings of the 21st annual symposium on computational geometry, SCG 2005, Pisa, Italy, June 6–8, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-991-8). 63-72 (2005).
MSC:  68U05 68T40
PDFBibTeX XMLCite
Full Text: DOI Link

A probabilistic language based upon sampling functions. (English) Zbl 1369.68083

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 171-182 (2005).
MSC:  68N15 68Q87 68T40
PDFBibTeX XMLCite
Full Text: DOI Link

Behavior modelling of nonlinear multivariate systems by kernel methods and applications. (Modélisation comportementale de systèmes non-linéaires multivariables par méthodes à noyaux et applications.) (French) Zbl 1360.65010

Orsay: Univ. Paris-Sud, Faculté des Sciences d’Orsay. vi, 248 p. (2005).
PDFBibTeX XMLCite

PLS typological regression: algorithmic, classification and validation issues. (English) Zbl 1341.62207

Vichi, Maurizio (ed.) et al., New developments in classification and data analysis. Proceedings of the meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, Bologna, Italy, September 22–24, 2003. Berlin: Springer-Verlag (ISBN 3-540-23809-3/pbk). Studies in Classification, Data Analysis, and Knowledge Organization, 133-140 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Crossed clustering method on symbolic data tables. (English) Zbl 1341.62193

Vichi, Maurizio (ed.) et al., New developments in classification and data analysis. Proceedings of the meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, Bologna, Italy, September 22–24, 2003. Berlin: Springer-Verlag (ISBN 3-540-23809-3/pbk). Studies in Classification, Data Analysis, and Knowledge Organization, 87-94 (2005).
MSC:  62H30 68T05 68T10
PDFBibTeX XMLCite
Full Text: DOI

A new look at survey propagation and its generalizations. (English) Zbl 1297.68094

Proceedings of the sixteenth annual ACM-SIAM symposium on discrete algorithms, SODA 2005, Vancouver, BC, Canada, January 23–25, 2005. New York, NY: ACM Press (ISBN 0-89871-585-7). 1089-1098 (2005).
MSC:  68T20 68Q25
PDFBibTeX XMLCite

Pianos are not flat: rigid motion planning in three dimensions. (English) Zbl 1297.68223

Proceedings of the sixteenth annual ACM-SIAM symposium on discrete algorithms, SODA 2005, Vancouver, BC, Canada, January 23–25, 2005. New York, NY: ACM Press (ISBN 0-89871-585-7). 505-514 (2005).
MSC:  68T40 68U05
PDFBibTeX XMLCite

Computing the shortest path: \(A^\ast\) search meets graph theory. (English) Zbl 1297.05230

Proceedings of the sixteenth annual ACM-SIAM symposium on discrete algorithms, SODA 2005, Vancouver, BC, Canada, January 23–25, 2005. New York, NY: ACM Press (ISBN 0-89871-585-7). 156-165 (2005).
PDFBibTeX XMLCite

Adaptation and evolution in dynamic persistent environments. (English) Zbl 1276.68072

Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 163-179 (2005).
MSC:  68Q05 68Q10 68T05 68T42
PDFBibTeX XMLCite
Full Text: Link

Interaction in normative multi-agent systems. (English) Zbl 1276.68149

Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 135-162 (2005).
MSC:  68T42 03B45 68T27
PDFBibTeX XMLCite
Full Text: Link

A mathematical model of dialog. (English) Zbl 1276.68151

Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 33-48 (2005).
MSC:  68T42
PDFBibTeX XMLCite
Full Text: Link

Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL. (English) Zbl 1272.68381

Rodgers, P. (ed.), Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 134, 153-187 (2005).
MSC:  68T27 03B10
PDFBibTeX XMLCite
Full Text: Link

What’s the name of the game? Formal specification of artificial intelligence games. (English) Zbl 1272.68240

Mota, A. (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2004), Recife, Brazil, November 29 – December 1, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 130, 129-150 (2005).
MSC:  68Q60 68T42 91A80
PDFBibTeX XMLCite
Full Text: Link

Bounded model checking for deontic interpreted systems. (English) Zbl 1272.68279

van der Hoek, Wiebe (ed.) et al., Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 126, 93-114 (2005).
MSC:  68Q60 68T27 68T42
PDFBibTeX XMLCite
Full Text: Link

On epistemic temporal strategic logic. (English) Zbl 1272.68384

van der Hoek, Wiebe (ed.) et al., Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 126, 77-92 (2005).
PDFBibTeX XMLCite
Full Text: Link

Toward reasoning about security protocols: a semantic approach. (English) Zbl 1272.68059

van der Hoek, Wiebe (ed.) et al., Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 126, 53-75 (2005).
PDFBibTeX XMLCite
Full Text: Link

Algebra and sequent calculus for epistemic actions. (English) Zbl 1272.68377

van der Hoek, Wiebe (ed.) et al., Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 126, 27-52 (2005).
MSC:  68T27 68T42
PDFBibTeX XMLCite
Full Text: Link

Reducing symmetries to generate easier SAT instances. (English) Zbl 1272.68376

Ahrendt, Wolfgang (ed.) et al., Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 125, No. 3, 149-164 (2005).
MSC:  68T20 68T15
PDFBibTeX XMLCite
Full Text: Link

The TM system for repairing non-theorems. (English) Zbl 1272.68352

Ahrendt, Wolfgang (ed.) et al., Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 125, No. 3, 87-101 (2005).
MSC:  68T15 68T05
PDFBibTeX XMLCite
Full Text: Link

Justifying equality. (English) Zbl 1272.68353

Ahrendt, Wolfgang (ed.) et al., Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 125, No. 3, 69-85 (2005).
MSC:  68T15 68T27
PDFBibTeX XMLCite
Full Text: Link

TSAT++: an open platform for satisfiability modulo theories. (English) Zbl 1272.68369

Ahrendt, Wolfgang (ed.) et al., Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 125, No. 3, 25-36 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: Link

Combining SAT methods with non-clausal decision heuristics. (English) Zbl 1272.68370

Ahrendt, Wolfgang (ed.) et al., Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 125, No. 3, 3-12 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: Link

Failure reasoning in multiple-strategy proof planning. (English) Zbl 1272.68374

Bonacina, M. P. (ed.) et al., Proceedings of the 5th international workshop on strategies in automated deduction (Strategies 2004), Cork, Ireland, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 125, No. 2, 67-90 (2005).
MSC:  68T20 68T15
PDFBibTeX XMLCite
Full Text: Link

Synthesising efficient and effective security protocols. (English) Zbl 1272.68057

Armando, A. (ed.) et al., Proceedings of the workshop on automated reasoning for security protocol analysis (ARSPA 2004), Cork, Ireland, July 4, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 125, No. 1, 25-41 (2005).
MSC:  68M12 68T20
PDFBibTeX XMLCite
Full Text: Link

Process mining and security: detecting anomalous process executions and checking process conformance. (English) Zbl 1272.68348

Busi, N. (ed.) et al., Proceedings of the 2nd international workshop on security issues with Petri nets and other computational models (WISP 2004), Bologna, Italy, June 26, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 121, 3-21 (2005).
MSC:  68T05
PDFBibTeX XMLCite
Full Text: Link

Proceedings of the 2nd international workshop on logic and communication in multi-agent systems, LCMAS, Nancy, France, August, 16–20, 2004. (English) Zbl 1271.68063

Electronic Notes in Theoretical Computer Science 126. Amsterdam: Elsevier. 114 p., electronic only (2005).
PDFBibTeX XMLCite
Full Text: Link

Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. (English) Zbl 1271.68015

Electronic Notes in Theoretical Computer Science 125, No. 3. Amsterdam: Elsevier. 164 p., electronic only (2005).
MSC:  68-06 68T15 68T20 00B25
PDFBibTeX XMLCite
Full Text: Link

Combined computational intelligence and analytical methods in fault diagnosis. (English) Zbl 1267.93125

Ruano, A. E. (ed.), Intelligent control systems using computational intelligence techniques. London: The Institution of Electrical Engineers (IEE) (ISBN 0-86341-489-3/hbk). IEE Control Engineering Series 70, 349-392 (2005).
MSC:  93C99 68T99
PDFBibTeX XMLCite

Machinability: geometric reasoning for cutting. (English) Zbl 1274.68635

Janardan, Ravi (ed.) et al., Geometric and algorithmic aspects of computer-aided design and manufacturing. DIMACS workshop computer aided design and manufacturing, October 7–9, 2003, Piscataway, New Jersey. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3628-5/hbk). DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 67, 245-263 (2005).
MSC:  68U05 68T40 65D17
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference

all top 3

Software