3166 search results - page 528 / 634 » Translation By Structural Correspondences |
108
click to vote
ACTA
2010
15 years 26 days ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
111
Voted
AAMAS
2007
Springer
15 years 26 days ago
2007
Springer
Multiagent control provides strategies for aggregating microscopic robots (“nanorobots”) in fluid environments relevant for medical applications. Unlike larger robots, viscou...
105
Voted
ADCM
2008
15 years 26 days ago
2008
Learning function relations or understanding structures of data lying in manifolds embedded in huge dimensional Euclidean spaces is an important topic in learning theory. In this ...
89
Voted
BIOSYSTEMS
2007
15 years 26 days ago
2007
The computational process is based on the activity linking mathematical equations to a materialized physical world. It consumes energy which lower limit is defined by the set of ...
75
Voted
CCE
2008
15 years 25 days ago
2008
This paper presents a technique for simultaneous targeting and design in cooling water systems comprising of at least two cooling towers and several cooling water using operations...