the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquak...
ISBN:
(纸本)9806560663
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquake of 2004;monitoring for gas-effusion from faults with satellite spectrum analysis;bandwidth control of ASK system using the fuzzy logic system;integrated wireless sensor networks for the vehicular parking inside a parking lot;synthesis of polyamide 4 containing unique structure: attempts of modifying properties and providing functionality;control and prediction of biodegradation of polyesters;ultimate optical (10000 channels) transmission in submarine cables under different depth conditions with reduction of four wave mixing;inverse optimization methods of linear programming model for optimal production plan in supply chain;generation methods for multidimensional knapsack problems and their implications;and the competitive network analysis between gas and electric power by multi-agent simulator.
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquak...
ISBN:
(纸本)9789806560710
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquake of 2004;monitoring for gas-effusion from faults with satellite spectrum analysis;bandwidth control of ASK system using the fuzzy logic system;integrated wireless sensor networks for the vehicular parking inside a parking lot;synthesis of polyamide 4 containing unique structure: attempts of modifying properties and providing functionality;control and prediction of biodegradation of polyesters;ultimate optical (10000 channels) transmission in submarine cables under different depth conditions with reduction of four wave mixing;inverse optimization methods of linear programming model for optimal production plan in supply chain;generation methods for multidimensional knapsack problems and their implications;and the competitive network analysis between gas and electric power by multi-agent simulator.
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquak...
ISBN:
(纸本)980656068X
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquake of 2004;monitoring for gas-effusion from faults with satellite spectrum analysis;bandwidth control of ASK system using the fuzzy logic system;integrated wireless sensor networks for the vehicular parking inside a parking lot;synthesis of polyamide 4 containing unique structure: attempts of modifying properties and providing functionality;control and prediction of biodegradation of polyesters;ultimate optical (10000 channels) transmission in submarine cables under different depth conditions with reduction of four wave mixing;inverse optimization methods of linear programming model for optimal production plan in supply chain;generation methods for multidimensional knapsack problems and their implications;and the competitive network analysis between gas and electric power by multi-agent simulator.
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquak...
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquake of 2004;monitoring for gas-effusion from faults with satellite spectrum analysis;bandwidth control of ASK system using the fuzzy logic system;integrated wireless sensor networks for the vehicular parking inside a parking lot;synthesis of polyamide 4 containing unique structure: attempts of modifying properties and providing functionality;control and prediction of biodegradation of polyesters;ultimate optical (10000 channels) transmission in submarine cables under different depth conditions with reduction of four wave mixing;inverse optimization methods of linear programming model for optimal production plan in supply chain;generation methods for multidimensional knapsack problems and their implications;and the competitive network analysis between gas and electric power by multi-agent simulator.
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquak...
ISBN:
(纸本)9806560728
the proceedings contain 502 papers. the topics discussed include: researches on application of GPS to earthquake monitoring and prediction;probable surface latent heat flux anomaly before the Indonesia Mw9.0 earthquake of 2004;monitoring for gas-effusion from faults with satellite spectrum analysis;bandwidth control of ASK system using the fuzzy logic system;integrated wireless sensor networks for the vehicular parking inside a parking lot;synthesis of polyamide 4 containing unique structure: attempts of modifying properties and providing functionality;control and prediction of biodegradation of polyesters;ultimate optical (10000 channels) transmission in submarine cables under different depth conditions with reduction of four wave mixing;inverse optimization methods of linear programming model for optimal production plan in supply chain;generation methods for multidimensional knapsack problems and their implications;and the competitive network analysis between gas and electric power by multi-agent simulator.
the proceedings contain 33 papers. the topics discussed include: weighted pushdown systems and trust management systems;automatic verification of parameterized data structures;parameterized verification of π calculus...
详细信息
ISBN:
(纸本)3540330569
the proceedings contain 33 papers. the topics discussed include: weighted pushdown systems and trust management systems;automatic verification of parameterized data structures;parameterized verification of π calculus systems;easy parameterized verification of biphase mark and 8N1 protocols;evaluating the effectiveness of slicing for model reduction of concurrent object oriented programs;new metrics for static variable ordering in decision diagrams;widening ROBDDs with prime implicants;efficient guided symbolic reachability using reachability expressions;SAT - based software certification;exploration of the capabilities of constraint programming for software verification;efficient abstraction refinement in interpolation based unbounded model checking;and approximating predicate images for bit vector logic.
We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set of qualitative relations. To define t...
详细信息
ISBN:
(纸本)3540462678
We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set of qualitative relations. To define the simulations we combine constraints that formalize the background knowledge concerned with qualitative reasoning with appropriate inter-state constraints that are formulated using linear temporal logic. We implemented this approach in a constraint programming system ((ECLPSe)-P-i) by drawing on the ideas from bounded model checking. the implementation became realistic only after several rounds of optimizations and experimentation with various heuristics. the resulting system allows us to test and modify the problem specifications in a straightforward way and to combine various knowledge aspects. To demonstrate the expressiveness and simplicity of this approach we discuss in detail two examples: a navigation problem and a simulation of juggling.
A bridging rule in this paper has its antecedent and action from different conceptual clusters. We first design two algorithms for mining bridging rules between clusters in a database, and then propose two non-linear ...
详细信息
ISBN:
(纸本)1595933395
A bridging rule in this paper has its antecedent and action from different conceptual clusters. We first design two algorithms for mining bridging rules between clusters in a database, and then propose two non-linear metrics for measuring the interestingness of bridging rules. Bridging rules can be distinct from association rules (or frequent itemsets). this is because (1) bridging rules can be generated by infrequent itemsets that are pruned in association rule mining;and (2) bridging rules are measured by the importance that includes the distance between two conceptual clusters, whereas frequent itemsets are measured by only the support. Copyright 2006 ACM.
We investigate in this work a generalization of the known CNF representation which allows an efficient Boolean encoding for n-ary CSPs. We show that the space complexity of the Boolean encoding is identical to the one...
详细信息
ISBN:
(纸本)3540409300
We investigate in this work a generalization of the known CNF representation which allows an efficient Boolean encoding for n-ary CSPs. We show that the space complexity of the Boolean encoding is identical to the one of the classical CSP representation and introduce a new inference rule whose application until saturation achieves arc-consistency in a linear time complexity for n-ary CSPs expressed in the Boolean encoding. Two enumerative methods for the Boolean encoding are studied: the first one (equivalent to MAC in CSPs) maintains full arc-consistency on each node of the search tree while the second (equivalent to FC in CSPs) performs partial arc-consistency on each node. Both methods are experimented and compared on some instances of the Ramsey problem and randomly generated 3-ary CSPs and promising results are obtained.
We present a novel virtualization framework for rapid prototyping in parallel programming environments, without incurring notable performance penalty. the centerpiece of this approach is a high-level functional langua...
详细信息
We present a novel virtualization framework for rapid prototyping in parallel programming environments, without incurring notable performance penalty. the centerpiece of this approach is a high-level functional language, and a "parallel and pipelined" virtual machine, to interpret this logic on the target parallel machine
暂无评论