12148 search results - page 2251 / 2430 » Generalized Bundle Methods |
115
Voted
SIBGRAPI
2006
IEEE
15 years 9 months ago
2006
IEEE
Recent statistics show that breast cancer is a major cause of death among women in all of the world. Hence, early diagnostic with Computer Aided Diagnosis (CAD) systems is a very ...
125
click to vote
WIOPT
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper presents the first analytical model for ad hoc networks equipped with multiple-input multiple-output (MIMO) radios using space-time coding (STC) that considers the ...
163
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
159
Voted
ACMICEC
2006
ACM
15 years 9 months ago
2006
ACM
In electronic marketplaces populated by self-interested agents, buyer agents would benefit by modeling the reputation of seller agents, in order to make effective decisions abou...
130
click to vote
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...