• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 1,302
Next 10 →

TABLE 2. Comparing Real Rooms and Audio Rooms

in Metaphors for Nonvisual Computing
by Elizabeth D. Mynatt, W. Keith Edwards
Cited by 1

TABLE 2. Comparing Real Rooms and Audio Rooms

in Metaphors for Nonvisual Computing
by Elizabeth D. Mynatt, W. Keith Edwards
Cited by 1

TABLE 2. Comparing Real Rooms and Audio Rooms

in Metaphors for Nonvisual Computing
by Elizabeth Mynatt Keith, People Disabilities Pctoday, Graphics Interface, John M. Carroll, Peter P. Tanner, Schafer Digital, Signal Processing Prentice-hall, Sbjg Denise A. Sumikawa, Meera M. Blattner, K. Joy, R. Greenberg Guidelines

Table is in dining room

in Prospects for in-Depth Story Understanding By Computer
by Erik T. Mueller 1999
Cited by 8

Table Living room

in The 3rd International Conference on Ubiquitous Robots and Ambient Intelligence (URAI 2006) Design of Robot Knowledge Management System: OWL-aware Relational Model Approach
by unknown authors

Table 5.2: Example Space Program (94 Children)

in unknown title
by unknown authors 1998

Table 5.3: Example Space Program (148 Children)

in unknown title
by unknown authors 1998

Table 3: Attributes of rooms in the Sisyphus room-assignment problem.

in Task Modeling with Reusable Problem-Solving Methods
by Henrik Eriksson, Yuval Shahar, Samson W. Tu, Angel R. Puerta, Mark A. Musen 1995
Cited by 103

Table 2: Runtimes for the Rooms problem

in Constructing Conditional Plans by a Theorem-Prover
by Jussi Rintanen 1999
"... In PAGE 22: ... From the rst formula that is found to be true a plan that reaches the goal can be extracted. In Table2 we give statistics on the evaluation of formulae with... In PAGE 24: ... With these blocks world problem instances the solution of the separate problems is very easy for the best classical planners. What makes these problems di cult is that the plans represent all possible executions, and the constraints on the plans are not as tight as in the benchmarks in Table2 or in the separate classical planning problems. However, when considering that the number of elements in the resulting plans is relatively high ( fteen or more for the bigger problems) and the notion of plans is much more complicated than in classical planning, the runtimes are not disappointing.... In PAGE 24: ... This is nicely on par with the fact that conditional planning is on the second level of the polynomial hierarchy, not on the third as the pre x 989 in the encodings might suggest. As shown in Table2 , the runtimes for plan generation can be much less than linear to the number of initial states. None of the early conditional planning algorithms is able to exhibit similar behavior; that is, they produce plans of exponential length and therefore consume exponential time even on simple problems like these.... In PAGE 25: ...theorem-prover implementation. For example for the problems in Table2 , na ve extensions of the Davis-Putnam procedure to QBF consider all of the 2n truth-value assignments to the universally quanti ed variables just to verify that a plan that has been found actually reaches the goal in all cases. Further developments in theorem-proving techniques for QBF and propositional satis ability are likely to improve these runtimes further.... ..."
Cited by 123

Table 1. Available rooms and their properties.

in unknown title
by unknown authors 2006
"... In PAGE 1: ... SCHEDULING PROBLEM We begin with an example of a conference scenario, and use it to illustrate the representation of resources and constraints. Suppose that we need to assign rooms to events at a small one-day conference, which starts at 11:00am and ends at 4:30pm, and that we can use three rooms: auditorium, classroom, and conference room ( Table1 ). These rooms host Scheduling with Uncertain Resources: Representation and Utility Function Ulas Bardak cyprus@cs.... ..."
Cited by 3
Next 10 →
Results 1 - 10 of 1,302
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University