9626 search results - page 1749 / 1926 » Invariant Based Programming |
131
Voted
GG
2010
Springer
15 years 16 days ago
2010
Springer
Mesh subdivision algorithms are usually specified informally using graphical schemes defining local mesh refinements. These algorithms are then implemented efficiently in an impera...
120
Voted
ICRA
2010
IEEE
15 years 14 days ago
2010
IEEE
We propose a more robust robot programming by demonstration system planner that produces a reproduction path which satisfies statistical constraints derived from demonstration traj...
156
click to vote
ICSE
2010
IEEE-ACM
15 years 14 days ago
2010
IEEE-ACM
In a multi-developer project, team collaboration is essential for the success of the project. When team members are spread across different locations, informal interactions are lo...
139
Voted
INFOCOM
2010
IEEE
15 years 14 days ago
2010
IEEE
Long-distance multi-hop wireless networks have been used in recent years to provide connectivity to rural areas. The salient features of such networks include TDMA channel access, ...
140
Voted
IPPS
2010
IEEE
15 years 14 days ago
2010
IEEE
Unplanned system outages have a negative impact on company revenues and image. While the last decades have seen a lot of efforts from industry and academia to avoid them, they stil...