1280 search results - page 126 / 256 » Soft Typing with Conditional Types |
WSC
2007
13 years 11 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
CSFW
2008
IEEE
13 years 11 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
ETFA
2008
IEEE
13 years 11 months ago
2008
IEEE
Currently, falling prices in technologies associated with surveillance applications has led to a huge increase in their use in all types of environments, although the most common ...
ESANN
2007
13 years 10 months ago
2007
This paper presents a new algorithm for clustering. It is an generalisation of the K-means algorithms . Each cluster will be represented by a chain of prototypes instead of being r...
HCI
2007
13 years 10 months ago
2007
This paper explores how a ‘learning’ algorithm can be added to UGV’s by giving it the ability to test the terrain through ‘feeling’ using incorporated sensors, which woul...