12148 search results - page 2251 / 2430 » Generalized Bundle Methods |
157
click to vote
SIBGRAPI
2006
IEEE
16 years 13 days 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 ...
167
click to vote
WIOPT
2006
IEEE
16 years 13 days 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 ...
217
click to vote
ACL2
2006
ACM
16 years 12 days 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...
197
click to vote
ACMICEC
2006
ACM
16 years 12 days 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...
173
click to vote
AOSD
2006
ACM
16 years 12 days 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...