Sciweavers

511 search results - page 64 / 103
» Automatic Construction of a Semantic, Domain-Independent Kno...
Sort
View
PLDI
2009
ACM
16 years 2 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...
JSAC
2011
108views more  JSAC 2011»
14 years 9 months ago
A Model-Based Approach to Cognitive Radio Design
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
Jorg Lotze, Suhaib A. Fahmy, Juanjo Noguera, Linda...
HICSS
2008
IEEE
128views Biometrics» more  HICSS 2008»
15 years 8 months ago
Service Composition Language to Unify Simulation and Optimization of Supply Chains
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
Alexander Brodsky, Malak Al-Nory, Hadon Nash
ICTAI
2008
IEEE
15 years 8 months ago
Integrating YAGO into the Suggested Upper Merged Ontology
Ontologies are becoming more and more popular as background knowledge for intelligent applications. Up to now, there has been a schism between manually assembled, highly axiomatic...
Gerard de Melo, Fabian M. Suchanek, Adam Pease
PPDP
2005
Springer
15 years 7 months ago
Program transformation by templates based on term rewriting
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
Yuki Chiba, Takahito Aoto, Yoshihito Toyama