2646 search results - page 482 / 530 » Local Type Inference |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
SIGIR
2004
ACM
15 years 3 months ago
2004
ACM
We describe Web-a-Where, a system for associating geography with Web pages. Web-a-Where locates mentions of places and determines the place each name refers to. In addition, it as...
100
click to vote
SAB
2004
Springer
15 years 3 months ago
2004
Springer
This paper provides an overview of our framework, called physicomimetics, for the distributed control of swarms of robots. We focus on robotic behaviors that are similar to those s...
ISLPED
2003
ACM
15 years 3 months ago
2003
ACM
Enabled by the continuous advancement in fabrication technology, present day synchronous microprocessors include more than 100 million transistors and have clock speeds well in ex...
SI3D
1999
ACM
15 years 2 months ago
1999
ACM
An explicit spline representation of smooth free-form surfaces is combined with a hierarchy of meshes to form the basis of an interactive sculpting environment. The environment of...