×

Found 166 Documents (Results 1–100)

100
MathJax

Math search for the masses: multimodal search interfaces and appearance-based retrieval. (English) Zbl 1417.68274

Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 18-36 (2015).
MSC:  68U35 68P20 68T10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Learning and incentives in user-generated content: multi-armed bandits with endogenous arms. (English) Zbl 1361.68177

Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 233-246 (2013).
MSC:  68T05 68U35 91A60
PDF BibTeX XML Cite
Full Text: DOI

Escaping the trap of too precise topic queries. (English) Zbl 1390.68749

Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 296-309 (2013).
MSC:  68U35 68P20
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover’s palette. (English) Zbl 1294.68125

Aspinall, David (ed.) et al., Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 285, 115-119 (2012).
MSC:  68T15 68Q60 68U35
PDF BibTeX XML Cite
Full Text: DOI

A user-friendly interface for a lightweight verification system. (English) Zbl 1294.68148

Aspinall, David (ed.) et al., Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 285, 29-41 (2012).
MSC:  68U35 68Q60
PDF BibTeX XML Cite
Full Text: DOI

MikiBeta: a general GUI library for visualizing proof trees. System description and demonstration. (English) Zbl 1326.68072

Alpuente, María (ed.), Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20550-7/pbk). Lecture Notes in Computer Science 6564, 84-98 (2011).
MSC:  68N18 68U35
PDF BibTeX XML Cite
Full Text: DOI

New challenges for intelligent information and database systems. Selected papers based on the presentations at the 3rd Asian conference on intelligent information and database systems, Daegu, Korea, April 20–22, 2011. (English) Zbl 1219.68021

Studies in Computational Intelligence 351. Berlin: Springer (ISBN 978-3-642-19952-3/hbk; 978-3-642-26779-6/pbk; 978-3-642-19953-0/ebook). x, 364 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI

Web page recommendation models. Theory and algorithms. (English) Zbl 1207.68006

Synthesis Lectures on Data Management 10. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-247-7/pbk; 978-1-60845-248-4/ebook). iv, 77 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI

Advances in computer and information sciences and engineering. Selected papers from the conference proceedings of the international conference on systems, computing sciences and software engineering (SCSS 2007), December 3–12, 2007. (English) Zbl 1169.68305

Dordrecht: Springer (ISBN 978-1-4020-8740-0/hbk). xvii, 590 p. (2008).
PDF BibTeX XML Cite

RSGUI with reverse prediction algorithm. (English) Zbl 1145.68576

Bello, Rafael (ed.) et al., Granular computing: At the junction of rough sets and fuzzy sets. Several papers based on the presentations at the 1st international symposium of fuzzy and rough sets (ISFUROS 2006), Santa Clara, Cuba, December 5–8, 2006. Berlin: Springer (ISBN 978-3-540-76972-9/hbk). Studies in Fuzziness and Soft Computing 224, 287-306 (2008).
MSC:  68U35
PDF BibTeX XML Cite

Computer-aided design of user interfaces V. Proceedings of the sixth international conference on computer-aided design of user interfaces CADUI, 06, 6–8 June 2006, Buckarest, Romania. (English) Zbl 1138.68621

Dordrecht: Springer (ISBN 978-1-4020-5819-6/hbk). xi, 298 p. (2007).
MSC:  68U07 68-01
PDF BibTeX XML Cite

Decision-theoretic planning for user-adaptive systems: Dealing with multiple goals and resource limitations. (English) Zbl 1080.68099

DISKI. Dissertationen zur Künstlichen Intelligenz 289. Berlin: Akademische Verlagsgesellschaft Aka; Amsterdam: IOS Press; Saarbrücken: Univ. Saarbrücken, Naturwissenschaftlich-Technische Fakultät (Diss.) (ISBN 3-89838-289-3/pbk; 1-58603-506-1/pbk). xxiv, 260 p. (2005).
PDF BibTeX XML Cite

Design methods and applications for distributed embedded systems. (English) Zbl 1062.68028

IFIP, International Federation for Information Processing 150. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8148-0/hbk). xii, 326 p. (2004).
MSC:  68M14 68-06 00B25
PDF BibTeX XML Cite

Learning user similarity and rating style for collaborative recommendation. (English) Zbl 1027.68586

Sebastiani, Fabrizio (ed.), Advances in information retrieval. 25th European conference on IR research, ECIR 2003, Pisa, Italy, April 14-16, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2633, 135-145 (2003).
MSC:  68P20 68T05 68U35
PDF BibTeX XML Cite
Full Text: Link

Universal access. Theoretical perspectives, practice, and experience. 7th ERCIM international workshop on user interfaces for all, Paris, France, October 24–25, 2002. Revised papers. (English) Zbl 1017.68617

Lecture Notes in Computer Science. 2615. Berlin: Springer. xiv, 534 p. (2003).
MSC:  68U99 68-06 68U35
PDF BibTeX XML Cite
Full Text: Link

Towards monitored data consistency and business processing based on declarative software agents. (English) Zbl 1019.68641

Garcia, Alessandro (ed.) et al., Software engineering for large-scale multi-agent systems. Research issues and practical applications. Berlin: Springer. Lect. Notes Comput. Sci. 2603, 267-284 (2003).
MSC:  68U99 68N99 68U35
PDF BibTeX XML Cite
Full Text: Link

User interfaces for on-line diagram recognition. (English) Zbl 1064.68571

Blostein, Dorothea (ed.) et al., Graphics recognition. Algorithms and applications. 4th international workshop, GREC 2001, Kingston, Ontario, Canada, September 7–8, 2001. Selected papers. Berlin: Springer (ISBN 3-540-44066-6). Lect. Notes Comput. Sci. 2390, 92-103 (2002).
MSC:  68U99 68T10 68U35
PDF BibTeX XML Cite
Full Text: Link

Porphyry 2001: Semantics for scholarly publications retrieval. (English) Zbl 1049.68737

Hacid, Mohand-Saïd (ed.) et al., Foundations of intelligent systems. 13th international symposium, ISMIS 2002, Lyon, France, June 27–29, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43785-1). Lect. Notes Comput. Sci. 2366, 351-361 (2002).
MSC:  68U35 68P20 68T05
PDF BibTeX XML Cite
Full Text: Link

An adaptive agent model for e-commerce architecture. (English) Zbl 1047.68738

De Bra, Paul (ed.) et al., Adaptive hypermedia and adaptive Web-based systems. 2nd international conference, AH 2002, Málaga, Spain, May 29–31, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43737-1). Lect. Notes Comput. Sci. 2347, 592-597 (2002).
MSC:  68U99 68U35
PDF BibTeX XML Cite
Full Text: Link

Personis: A server for user models. (English) Zbl 1047.68791

De Bra, Paul (ed.) et al., Adaptive hypermedia and adaptive Web-based systems. 2nd international conference, AH 2002, Málaga, Spain, May 29–31, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43737-1). Lect. Notes Comput. Sci. 2347, 203-212 (2002).
MSC:  68U99 68U35
PDF BibTeX XML Cite
Full Text: Link

An inference engine for web adaptive cooperative work. (English) Zbl 1077.68861

Coello Coello, Carlos A. (ed.) et al., MICAI 2002: Advances in artificial intelligence. 2nd Mexican international conference, Mérida, Yucatán, Mexico, April 22–26, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43475-5). Lect. Notes Comput. Sci. 2313, 526-535 (2002).
MSC:  68T35 68U35
PDF BibTeX XML Cite
Full Text: Link

Data and knowledge visualization in knowledge discovery process. (English) Zbl 1051.68758

Chang, Shi-Kuo (ed.) et al., Recent advances in visual information systems. 5th international conference, VISUAL 2002, Hsin Chu, Taiwan, March 11–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43358-9). Lect. Notes Comput. Sci. 2314, 311-321 (2002).
MSC:  68U99 68U35 68T05
PDF BibTeX XML Cite
Full Text: Link

Controlled query evaluation for known policies by combining lying and refusal. (English) Zbl 1044.68038

Eiter, Thomas (ed.) et al., Foundations of information and knowledge systems. 2nd international symposium, FoIKS 2002, Salzau Castle, Germany, February 20–23, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43220-5). Lect. Notes Comput. Sci. 2284, 49-66 (2002).
MSC:  68P15 68P25 68U35
PDF BibTeX XML Cite
Full Text: Link

Design and implementation of an application layer protocol for reducing UDP traffic based on user hints and policies. (English) Zbl 1018.68722

Almeroth, Kevin C. (ed.) et al., Management of multimedia on the internet. 5th IFIP/IEEE international conference on management of multimedia networks and services, MMNS 2002, Santa Barbara, CA, USA, October 6-9, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2496, 263-275 (2002).
MSC:  68U99 68M10 68U35
PDF BibTeX XML Cite
Full Text: Link

Dealing with imprecise inputs in a fuzzy rule-based system using an implication-based rule model. (English) Zbl 0997.93060

Bouchon-Meunier, Bernadette (ed.) et al., Technologies for constructing intelligent systems. 1: Tasks. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 89, 43-56 (2002).
PDF BibTeX XML Cite

Automatically analyzing and organizing music archives. (English) Zbl 1010.68712

Constantopoulos, Panos (ed.) et al., Research and advanced technology for digital libraries. 5th European conference, ECDL 2001. Darmstadt, Germany, September 4-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2163, 402-414 (2001).
MSC:  68U99 68P20 68U35
PDF BibTeX XML Cite
Full Text: Link

Virtual space computer games with a floor sensor control - human centred approach in the design process. (English) Zbl 0980.68935

Brewster, Stephen (ed.) et al., Haptic human-computer interaction. 1st international workshop, Glasgow, GB, August 31 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2058, 199-204 (2001).
MSC:  68U99 68M99
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software