16666 search results - page 2476 / 3334 » Descriptive and Computational Complexity |
204
click to vote
WABI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...
180
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we propose a visual hull algorithm, which guarantees a correct construction even in the presence of partial occlusion, while “correct” here means that the real ...
205
click to vote
ACSC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
239
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...
184
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— We developed the HAT (Home Appliance Translator) and HAT-Sub to enable conventional appliances without telecommunication capabilities to connect to home networks. The d...