940 search results - page 106 / 188 » Control Abstractions for Local Search |
123
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...
142
Voted
SCALESPACE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Segmentation of images is often posed as a variational problem. As such, it is solved by formulating an energy functional depending on a contour and other image derived t...
175
Voted
ECCV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Robust face alignment is crucial for many face processing applications. As face detection only gives a rough estimation of face region, one important problem is how to al...
116
Voted
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
119
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...