Sciweavers

6047 search results - page 226 / 1210
» A Scenario Construction Process
Sort
View
TLCA
2009
Springer
16 years 1 months ago
Session-Based Communication Optimisation for Higher-Order Mobile Processes
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
Dimitris Mostrous, Nobuko Yoshida
ISQED
2007
IEEE
151views Hardware» more  ISQED 2007»
16 years 1 months ago
Gate Level Statistical Simulation Based on Parameterized Models for Process and Signal Variations
We propose gate level statistical simulation to bridge the gap between the most accurate Monte Carlo SPICE simulation and the most efficient circuit level statistical static timi...
Bao Liu
KI
2007
Springer
16 years 1 months ago
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
Fredrik Heintz, Piotr Rudol, Patrick Doherty
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
16 years 23 days ago
Incorporating fuzzy knowledge into fitness: multiobjective evolutionary 3D design of process plants
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...
Ingo Mierswa
VLDB
2004
ACM
111views Database» more  VLDB 2004»
16 years 17 days ago
A Framework for Using Materialized XPath Views in XML Query Processing
XML languages, such as XQuery, XSLT and SQL/XML, employ XPath as the search and extraction language. XPath expressions often define complicated navigation, resulting in expensive...
Andrey Balmin, Fatma Özcan, Kevin S. Beyer, R...