1712 search results - page 103 / 343 » A Computational Approach to Binding Theory |
141
click to vote
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
124
click to vote
IJBC
2008
15 years 1 months ago
2008
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...
154
click to vote
AI
2004
Springer
15 years 1 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
112
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...
147
click to vote
MEMOCODE
2008
IEEE
15 years 8 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...