1011 search results - page 100 / 203 » The three dimensions of proofs |
159
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Open source developers communicate with each other via various online outlets. Thus far, mailing lists have been the main coordination mechanism. However, our previous study shows...
177
click to vote
ESAW
2009
Springer
16 years 29 days ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
150
click to vote
ICASSP
2008
IEEE
16 years 25 days ago
2008
IEEE
The concept of tensor rank, introduced in the twenties, has been popularized at the beginning of the seventies. This has allowed to carry out Factor Analysis on arrays with more t...
164
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
— This paper presents the ResolveSpatialConstraints (RSC) algorithm for manipulation planning in a domain with movable obstacles. Empirically we show that our algorithm quickly g...
160
click to vote
WETICE
2007
IEEE
16 years 19 days ago
2007
IEEE
Visualizing complex business processes is an important task of process-aware information systems (PAIS). Current PAIS, however, fail in providing adequate mechanisms for visualizi...