1609 search results - page 127 / 322 » Problem Structure and Dependable Architecture |
WIMOB
2008
IEEE
15 years 7 months ago
2008
IEEE
—Cross-layer design has been proposed as a promising paradigm to tackle various problems of wireless communication systems. Recent research has led to a variety of protocols that...
107
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
100
click to vote
DAC
2001
ACM
16 years 1 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
At present, we have proceeded to extend SQL into a new language called dmFSQL (data mining Fuzzy Structured Query Language) which can be used to solve real problems of Data Mining...
122
Voted
EUROGP
1999
Springer
15 years 4 months ago
1999
Springer
– This article presents a new approach to the evolution of controllers for autonomous agents. We propose the evolution of a connectionist structure where each node has an associa...