Sciweavers

48 search results - page 9 / 10
» fun 2007
Sort
View
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
14 years 3 months ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...
AAAI
2007
14 years 3 days ago
PhotoSlap: A Multi-player Online Game for Semantic Annotation
Multimedia content presents special challenges for the search engines, and could benefit from semantic annotation of images. Unfortunately, manual labeling is too tedious and tim...
Chien-Ju Ho, Tsung-Hsiang Chang, Jane Yung-jen Hsu
PUC
2007
150views more  PUC 2007»
13 years 9 months ago
Probing user values in the home environment within a technology driven Smart Home project
Smart Home technology looks set to become an increasingly common feature of domestic life. However commercial desire for technical innovation rather than explicit user needs are of...
Victoria Haines, Val Mitchell, Catherine Cooper, M...
DLT
2006
13 years 11 months ago
Closure of Language Classes Under Bounded Duplication
Duplication is an operation generating a language from a single word by iterated application of rewriting rules u uu on factors. We extend this operation to entire languages and i...
Masami Ito, Peter Leupold, Kayoko Shikishima-Tsuji
BMCBI
2005
125views more  BMCBI 2005»
13 years 9 months ago
Query3d: a new method for high-throughput analysis of functional residues in protein structures
Background: The identification of local similarities between two protein structures can provide clues of a common function. Many different methods exist for searching for similar ...
Gabriele Ausiello, Allegra Via, Manuela Helmer-Cit...