8624 search results - page 1658 / 1725 » Designing example-critiquing interaction |
167
Voted
IDEAS
2009
IEEE
16 years 8 days ago
2009
IEEE
A natural consequence of the widespread adoption of XML as standard for information representation and exchange is the redundant storage of large amounts of persistent XML documen...
155
click to vote
IROS
2009
IEEE
16 years 7 days ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
160
click to vote
ISORC
2009
IEEE
16 years 7 days ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
174
click to vote
TPHOL
2009
IEEE
16 years 7 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
157
click to vote
CIARP
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...