Sciweavers

9412 search results - page 1461 / 1883
» An aspect-oriented generative approach
Sort
View
TACAS
2007
Springer
124views Algorithms» more  TACAS 2007»
16 years 1 months ago
Deciding Bit-Vector Arithmetic with Abstraction
ion Randal E. Bryant1 , Daniel Kroening2 , Jo¨el Ouaknine3 , Sanjit A. Seshia4 , Ofer Strichman5 , and Bryan Brady4 1 Carnegie Mellon University, Pittsburgh 2 ETH Z¨urich 3 Oxfor...
Randal E. Bryant, Daniel Kroening, Joël Ouakn...
TSD
2007
Springer
16 years 1 months ago
The Effect of Lexicon Composition in Pronunciation by Analogy
Abstract. Pronunciation by analogy (PbA) is a data-driven approach to phonetic transcription that generates pronunciations for unknown words by exploiting the phonological knowledg...
Tasanawan Soonklang, Robert I. Damper, Yannick Mar...
UIC
2007
Springer
16 years 1 months ago
Ontology-Based Semantic Recommendation for Context-Aware E-Learning
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
Zhiwen Yu, Yuichi Nakamura, Seiie Jang, Shoji Kaji...
VLDB
2007
ACM
77views Database» more  VLDB 2007»
16 years 1 months ago
Tracing Lineage Beyond Relational Operators
Tracing the lineage of data is an important requirement for establishing the quality and validity of data. Recently, the problem of data provenance has been increasingly addressed...
Mingwu Zhang, Xiangyu Zhang, Xiang Zhang, Sunil Pr...
VLDB
2007
ACM
126views Database» more  VLDB 2007»
16 years 1 months ago
Scalable Semantic Web Data Management Using Vertical Partitioning
Efficient management of RDF data is an important factor in realizing the Semantic Web vision. Performance and scalability issues are becoming increasingly pressing as Semantic Web...
Daniel J. Abadi, Adam Marcus 0002, Samuel Madden, ...
« Prev « First page 1461 / 1883 Last » Next »