1011 search results - page 114 / 203 » The three dimensions of proofs |
169
click to vote
ICTAI
2007
IEEE
16 years 20 days ago
2007
IEEE
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...
142
click to vote
IROS
2007
IEEE
16 years 20 days ago
2007
IEEE
— We describe decentralized algorithms by which a swarm of simple, independent, autonomous robots can build two-dimensional structures using square building blocks. These structu...
151
click to vote
SP
2006
IEEE
16 years 11 days ago
2006
IEEE
Simulatable security is a security notion for multi-party protocols that implies strong composability features. The main definitional flavours of simulatable security are standa...
142
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prov...
137
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...