18572 search results - page 862 / 3715 » High performance C |
196
click to vote
DOCENG
2007
ACM
15 years 11 months ago
2007
ACM
In spite of the high profile of media types such as video, audio and images, many multimedia presentations rely extensively on text content. Text can be used for incidental labels...
213
click to vote
COOPIS
2004
IEEE
15 years 11 months ago
2004
IEEE
Large-scale database integration requires a significant cost in developing a global schema and finding mappings between the global and local schemas. Developing the global schema r...
279
click to vote
EDO
2006
Springer
15 years 11 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
225
click to vote
FMCAD
2006
Springer
15 years 11 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
238
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...