7776 search results - page 16 / 1556 » Maintaining Maintainability |
101
Voted
IAT
2008
IEEE
15 years 9 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
129
click to vote
MKM
2007
Springer
15 years 8 months ago
2007
Springer
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
128
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
102
Voted
IVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Virtual agents are traditionally constrained in their embodiment, as they are restricted to one form of body. We propose allowing them to change their embodiment in order...
118
Voted
CSEE
2007
Springer
15 years 6 months ago
2007
Springer
Many, if not most, Computer Science programs contain some form of capstone, or senior, project as a key requirement in receiving a bachelor's degree in Computer Science or So...