1481 search results - page 284 / 297 » Enriching the Software Development Process by Formal Methods |
CHI
2009
ACM
15 years 6 months ago
2009
ACM
Especially in the past few years, there has been an increase in the rejection rate of interactive consumer electronics products in the field, not due to broken hardware or softwar...
CLUSTER
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
119
click to vote
ROBOCUP
2007
Springer
15 years 5 months ago
2007
Springer
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
PG
2003
IEEE
15 years 5 months ago
2003
IEEE
In the last years point-based rendering has been shown to offer the potential to outperform traditional triangle based rendering both in speed and visual quality when it comes to ...
GEOINFO
2004
15 years 1 months ago
2004
: As the geographic information system (GIS) community grows, more and more people needs to share geographic information. As modern GIS data is stored in geographic databases their...