نتایج جستجو برای: temporal partitioning

تعداد نتایج: 277869  

2006
Chih-Wei Hsu Benjamin W. Wah Ruoyun Huang Yixin Chen

In this paper, we present the partition-and-resolve strategy in SGPlan (hereafter called SGPLan5) for fully supporting all language features in PDDL3.0. Based on the architecture of SGPlan that supported PDDL2.2 (hereafter called SGPLan4), SGPLan5 partitions a large planning problem into subproblems, each with its own subgoal, and resolves those inconsistent solutions using our extended saddle-...

1998
Meenakshi Kaul Ranga Vemuri

We develop a 0-1 non-linear programming (NLP) model for combined temporal partitioning and high-level synthesis from behavioral speciications destined to be implemented on reconngurable processors. We present tight linearizations of the NLP model. We present eeective variable selection heuristics for a branch and bound solution of the derived linear programming model. We show how tight lineariz...

Journal: :J. Artif. Intell. Res. 2006
Yixin Chen Benjamin W. Wah Chih-Wei Hsu

In this paper, we present the partitioning of mutual-exclusion (mutex) constraints in temporal planning problems and its implementation in the SGPlan4 planner. Based on the strong locality of mutex constraints observed in many benchmarks of the Fourth International Planning Competition (IPC4), we propose to partition the constraints of a planning problem into groups based on their subgoals. Con...

1993
Berthe Y. Choueiry

ed data: Atomic data: (Task (A B C)) (Task A) (Task B) (Task C) (Task (D E)) (Task D) (Task (F G)) (Task F) (Task G) (Task E) Figure 13: Abstract tasks resulting from summarization. 6 Value-Assignment Delay Heuristic This section proposes a new heuristic called the valueassignment delay heuristic (VAD) useful for solving list-coloring problems. An arc in the constraint graph of a resource alloc...

Journal: :Artif. Intell. 2006
Benjamin W. Wah Yixin Chen

In this paper, we study the partitioning of constraints in temporal planning problems formulated as mixed-integer nonlinear programming (MINLP) problems. Constraint partitioning is attractive because it leads to much easier subproblems, where each is a significant relaxation of the original problem. Moreover, each subproblem is very similar to the original problem and can be solved by any exist...

Journal: :Neotropical Biology and Conservation 2021

Activity patterns of species are related to their physiology, behaviour and the environment can change in response different factors, such as interactions between species. Bird species, typical understorey, show morphological ecological similarities must thus have some mechanism separation, temporal niche partitioning. The objective this study was provide information about activity overlap bird...

Journal: :Ecology letters 2009
Forest I Isbell H Wayne Polley Brian J Wilsey

Theory predicts that the temporal stability of productivity, measured as the ratio of the mean to the standard deviation of community biomass, increases with species richness and evenness. We used experimental species mixtures of grassland plants to test this hypothesis and identified the mechanisms involved. Additionally, we tested whether biodiversity, productivity and temporal stability were...

Journal: :Fishes 2023

Two species of carcharhinid sharks aggregate every winter at the warm water effluent a coastal power plant on Israeli Mediterranean coast. The two (Carcharhinus obscurus and Carcharhinus plumbeus) cooccur in highly confined area for several months year are associated with around hot effluent. Niche partitioning has recently been suggested as mechanism that enables coexistence similar shark by r...

2013
Gang Li Søren Top

In a mixed-criticality system, applications with different safety criticality levels are usually required to be implemented upon one platform for several reasons( reducing hardware cost, space, power consumption). Partitioning technology is used to enable the integration of mixedcriticality applications with reduced certification cost. In the partitioning architecture of strong spatial and temp...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید