2851 search results - page 353 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
170
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
219
click to vote
ADAEUROPE
2008
Springer
16 years 29 days ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
179
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
168
click to vote
ISBI
2007
IEEE
16 years 27 days ago
2007
IEEE
As we develop radiation treatment planning systems for head and neck cancer patients, there is a need to identify reference patients whose anatomical structures share similar feat...
164
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
Inductive cross-talk within IC packaging is becoming a significant bottleneck in high-speed inter-chip communication. The parasitic inductance within IC packaging causes bounce o...