8624 search results - page 1652 / 1725 » Interaction design in the university: designing disciplinary... |
181
click to vote
ICNP
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract—Multipath streaming protocols have recently attracted much attention because they provide an effective means to provide high-quality streaming over the Internet. However...
163
click to vote
IROS
2009
IEEE
16 years 28 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...
171
click to vote
ISORC
2009
IEEE
16 years 27 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...
188
click to vote
TPHOL
2009
IEEE
16 years 27 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,...
166
click to vote
CIARP
2009
Springer
16 years 26 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...