Sciweavers

2649 search results - page 456 / 530
» Temporal Theories of Reasoning
Sort
View
IMC
2007
ACM
13 years 9 months ago
A data streaming algorithm for estimating entropies of od flows
Entropy has recently gained considerable significance as an important metric for network measurement. Previous research has shown its utility in clustering traffic and detecting ...
Haiquan (Chuck) Zhao, Ashwin Lall, Mitsunori Ogiha...
AGI
2008
13 years 9 months ago
Fusing Animals and Humans
AI has many techniques and tools at its disposal, yet seems to be lacking some special "juice" needed to create a true being. We propose that the missing ingredients are ...
Jonathan Connell
AVI
2010
13 years 9 months ago
Implied dynamics in information visualization
Information visualization is a powerful method for understanding and working with data. However, we still have an incomplete understanding of how people use visualization to think...
Caroline Ziemkiewicz, Robert Kosara
CATS
2007
13 years 9 months ago
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
Peter Morris, Thorsten Altenkirch, Neil Ghani
COMMA
2008
13 years 9 months ago
Political Engagement Through Tools for Argumentation
In this paper we discuss the development of tools to support a system for edemocracy that is based upon and makes use of existing theories of argument representation and evaluatio...
Dan Cartwright, Katie Atkinson