Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10568
search results - page 22 / 2114
»
Computer Intelligence and Formalization
Sort
relevance
views
votes
recent
update
View
thumb
title
95
click to vote
AISC
2006
Springer
66
views
Artificial Intelligence
»
more
AISC 2006
»
Labeled @-Calculus: Formalism for Time-Concerned Human Factors
15 years 7 months ago
Download
www.cs.tsukuba.ac.jp
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, ...
claim paper
Read More »
97
click to vote
ECAI
2008
Springer
93
views
Artificial Intelligence
»
more
ECAI 2008
»
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects
15 years 5 months ago
Download
www.dagstuhl.de
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. ...
claim paper
Read More »
85
click to vote
FLAIRS
2000
92
views
Artificial Intelligence
»
more
FLAIRS 2000
»
Formal Concepts of Learning Systems Validation in Use
15 years 5 months ago
Download
www.aaai.org
Volker Dötsch, Gunter Grieser, Klaus P. Jantk...
claim paper
Read More »
79
click to vote
AAMAS
2010
Springer
104
views
Intelligent Agents
»
more
AAMAS 2010
»
A graphical formalism for mixed multi-unit combinatorial auctions
15 years 4 months ago
Download
www.iiia.csic.es
Andrea Giovannucci, Jesús Cerquides, Ulle E...
claim paper
Read More »
106
click to vote
AMAI
2006
Springer
70
views
Artificial Intelligence
»
more
AMAI 2006
»
A formal mathematical framework for modeling probabilistic hybrid systems
15 years 4 months ago
Download
people.cs.ubc.ca
Robert St-Aubin, Joel Friedman, Alan K. Mackworth
claim paper
Read More »
« Prev
« First
page 22 / 2114
Last »
Next »