630 search results - page 80 / 126 » Sameness: An Experiment in Code Search |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
ADT
2005
13 years 8 months ago
2005
In this paper we present a new framework, based on subdivision surface approximation, for efficient compression and coding of 3D models represented by polygonal meshes. Our algorit...
ENGL
2008
13 years 7 months ago
2008
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...
AINA
2010
IEEE
13 years 6 months ago
2010
IEEE
New transport protocols continue to appear as alternatives to the Transmission Control Protocol (TCP). Many of these are are designed to address TCP's inefficiency in operatin...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
To access data sources on the Web, a crucial step is wrapping, which translates query responses, rendered in textual HTML, back into their relational form. Traditionally, this pro...