1280 search results - page 126 / 256 » Soft Typing with Conditional Types |
122
Voted
WSC
2007
15 years 4 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...
124
Voted
CSFW
2008
IEEE
15 years 4 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...
108
click to vote
ETFA
2008
IEEE
15 years 4 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
15 years 4 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...
106
Voted
HCI
2007
15 years 4 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...