555 search results - page 85 / 111 » Between Symbol and Language-in-use |
VRML
1995
ACM
13 years 11 months ago
1995
ACM
We visualize the structure of sections of the World Wide Web by constructing graphical representations in 3D hyperbolic space. The felicitous property that hyperbolic space has ā...
CHARME
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Automatic formal veriļ¬cation techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
AAAI
2010
13 years 9 months ago
2010
Relational Markov Decision Processes (MDP) are a useraction for stochastic planning problems since one can develop abstract solutions for them that are independent of domain size ...
LREC
2008
13 years 9 months ago
2008
This paper presents our work on the detection of temporal information in web pages. The pages examined within the scope of this study were taken from the tourism sector and the te...
CLIMA
2006
13 years 9 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...