Sciweavers

8671 search results - page 254 / 1735
» A generator for hierarchical problems
Sort
View
AIPS
1994
15 years 8 months ago
Generating Parallel Execution Plans with a Partial-order Planner
Manyreal-world planning problems require generating plans that maximizethe parallelism inherent in a problem. There are a numberof partial-order planners that generate such plans;...
Craig A. Knoblock
COLING
1990
15 years 7 months ago
A Type-theoretical Analysis of Complex Verb Generation
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
Satoshi Tojo
AUTOMATICA
2008
107views more  AUTOMATICA 2008»
15 years 5 months ago
Incorporating oligopoly, CO2 emissions trading and green certificates into a power generation expansion model
This paper presents a generation expansion model for the power sector which incorporates several features that make it very interesting for its application to current electricity m...
Pedro Linares, Francisco Javier Santos, Mariano Ve...
CADE
2006
Springer
16 years 7 months ago
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
Peter Baumgartner, Renate A. Schmidt
ICST
2009
IEEE
16 years 1 months ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...