3116 search results - page 291 / 624 » Positively dependent types |
174
click to vote
ISRR
2001
Springer
15 years 11 months ago
2001
Springer
Robotics research is dependent on intelligent, fast, accurate, reliable and cheap sensors. Sonar sensing can fulfil these requirements. Moreover sonar physics provides robotics re...
186
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a seed placement strategy for streamlines based on flow features in the dataset. The primary goal of our seeding strategy is to capture flow patterns in the ...
161
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
In this paper we present a processor microarchitecture that can simultaneously execute multiple threads and has a clustered design for scalability purposes. A main feature of the ...
172
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
154
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...