5726 search results - page 760 / 1146 » Supporting annotations on relations |
138
click to vote
IJCAI
1989
15 years 8 months ago
1989
1 describe an approach to the problem of forming hypotheses about hidden mechanisms w; thin devices — the "black box" problem for physical systems. The approach involv...
184
click to vote
WCE
2007
15 years 8 months ago
2007
— This work provides the specification of a MAC layer simulator that evaluates the service quality in WiFi, and presents initial results as a stand-alone simulator. The simulator...
162
click to vote
WOA
2007
15 years 8 months ago
2007
—In highly dynamic environments like academy and industry it is becoming essential the need of efficient systems for resources organization and discovery. In this paper we descr...
206
click to vote
BIS
2009
15 years 7 months ago
2009
Abstract. Social software is known to stimulate the exchange and sharing of information among peers. This paper describes how an existing system that supports process builders in c...
186
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...