1604 search results - page 115 / 321 » Development Separation in Lambda-Calculus |
ISBI
2006
IEEE
14 years 11 months ago
2006
IEEE
Several types of breast carcinomas tend to spread along the surface of the ductal lumen. Spontaneous nipple discharge can be an early symptom of such cancer development that does ...
CP
2009
Springer
14 years 11 months ago
2009
Springer
A problem that is inherent to the development and efficient use of solvers is that of tuning parameters. The CP community has a long history of addressing this task automatically. ...
DCC
2009
IEEE
14 years 11 months ago
2009
IEEE
An analysis is presented that extends existing Rayleigh-Ritz theory to the special case of highly eccentric distributions. Specifically, a bound on the angle between the first Rit...
STOC
2007
ACM
14 years 10 months ago
2007
ACM
Semidefinite programs (SDP) have been used in many recent approximation algorithms. We develop a general primal-dual approach to solve SDPs using a generalization of the well-know...
ICSE
2003
IEEE-ACM
2003
IEEE-ACM
A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure
14 years 10 months ago
Ubiquitous context-aware computing systems present several challenges in their construction. Principal among them is the tradeoff between easily providing new contextaware service...