Sciweavers

1749 search results - page 231 / 350
» Prototypes Based Relational Learning
Sort
View
ATC
2009
Springer
15 years 9 months ago
SAConf: Semantic Attestation of Software Configurations
Remote attestation is one of the key functionalities provided by trusted platforms. Most current attestation approaches are based on cryptographic hash functions, which are appropr...
Hua Wang, Yao Guo, Xiangqun Chen
ICSE
2010
IEEE-ACM
15 years 9 months ago
Code bubbles: rethinking the user interface paradigm of integrated development environments
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
Andrew Bragdon, Steven P. Reiss, Robert C. Zelezni...
164
Voted
AMAST
2008
Springer
15 years 7 months ago
Towards an Efficient Implementation of Tree Automata Completion
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
Emilie Balland, Yohan Boichut, Thomas Genet, Pierr...
136
Voted
DPHOTO
2010
148views Hardware» more  DPHOTO 2010»
15 years 6 months ago
On pixel detection threshold in the gigavision camera
Recently, we have proposed a new image device called gigavision camera whose most important characteristic is that pixels have binary response. The response function of a gigavisi...
Feng Yang, Luciano Sbaiz, Edoardo Charbon, Sabine ...
155
Voted
SDM
2004
SIAM
141views Data Mining» more  SDM 2004»
15 years 6 months ago
Visually Mining through Cluster Hierarchies
Similarity search in database systems is becoming an increasingly important task in modern application domains such as multimedia, molecular biology, medical imaging, computer aid...
Stefan Brecheisen, Hans-Peter Kriegel, Peer Kr&oum...