2154 search results - page 335 / 431 » Evidence-based software production |
VMCAI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
KI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Our proposed software system, SceneMaker, aims to facilitate the production of plays, films or animations by automatically interpreting natural language film scripts an...
CBMS
2008
IEEE
15 years 5 months ago
2008
IEEE
Content-based Image Retrieval (CBIR) for medical images has received a significant research interest over the past decade as a promising approach to address the data management ch...
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
The rapid growth of Internet population leads to the shortage of IP addresses. The next generation IP protocol, IPv6, which extends the IP address length from 32 bits to 128 bits,...
COMSWARE
2008
IEEE
15 years 5 months ago
2008
IEEE
—Presence technology is going to be an integral part of the next generation of communication technology. It can eliminate telephone tag between two parties (caller and callee), w...