Sciweavers

527 search results - page 93 / 106
» Towards a Natural Way of Reasoning
Sort
View
JOT
2007
124views more  JOT 2007»
13 years 8 months ago
Displaying Updated Stock Quotes
This paper describes how to extract stock quote data and display it with a dynamic update (using free, but delayed data streams). As a part of the architecture of the program, we ...
Douglas Lyon
KI
2002
Springer
13 years 8 months ago
Spatial Strategies in Human-Robot Communication
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...
Thora Tenbrink, Kerstin Fischer, Reinhard Moratz
PVLDB
2010
342views more  PVLDB 2010»
13 years 6 months ago
CRIUS: User-Friendly Database Design
Non-technical users are increasingly adding structures to their data. This gives rise to the need for database design. However, traditional database design is deliberate and heavy...
Li Qian, Kristen LeFevre, H. V. Jagadish
CORR
2011
Springer
178views Education» more  CORR 2011»
12 years 12 months ago
Online Learning: Stochastic and Constrained Adversaries
Learning theory has largely focused on two main learning scenarios. The first is the classical statistical setting where instances are drawn i.i.d. from a fixed distribution and...
Alexander Rakhlin, Karthik Sridharan, Ambuj Tewari
TPHOL
1997
IEEE
14 years 18 days ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost