5608 search results - page 594 / 1122 » Structure description tools |
191
click to vote
INFOVIS
2005
IEEE
16 years 19 days ago
2005
IEEE
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
159
click to vote
GECCO
2005
Springer
16 years 17 days ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
179
click to vote
PCI
2005
Springer
16 years 16 days ago
2005
Springer
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...
187
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
164
click to vote
FOIS
2010
15 years 8 months ago
2010
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...