1897 search results - page 35 / 380 » eg 2007 |
EJC
2000
13 years 10 months ago
2000
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
GRAPHICSINTERFACE
2007
13 years 10 months ago
2007
We present a design space explorer for the space of experimental designs. For many design problems, design decisions are determined by the consequences of the design rather than i...
FMOODS
2007
13 years 10 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
NIPS
2000
13 years 10 months ago
2000
Preliminary work by the authors made use of the so-called "Manhattan world" assumption about the scene statistics of city and indoor scenes. This assumption stated that ...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
In this paper, we present a tool to increase the efficiency of public transport buses inside the metropolitan city of Madras (Chennai) in South India. The amount of people droppin...