205 search results - page 41 / 41 » Visual Agent Programming (VAP): An Interactive System to Pro... |
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
Recently, mobile TV is becoming a mainstream service in mobile broadcasting scenario, where requires lots of mobile factors such as robust transmission, high performance and easy ...
LBM
2007
13 years 6 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
BMCBI
2007
13 years 5 months ago
2007
Background: The huge amount of biological information, its distribution over the Internet and the heterogeneity of available software tools makes the adoption of new data integrat...
IUI
2006
ACM
13 years 11 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...