Sciweavers

4209 search results - page 698 / 842
» Abstract Dialectical Frameworks
Sort
View
120
Voted
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
15 years 5 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
134
Voted
AMT
2010
Springer
269views Multimedia» more  AMT 2010»
15 years 5 months ago
User Interests: Definition, Vocabulary, and Utilization in Unifying Search and Reasoning
Abstract. Consistent description and representation method of user interests are required for personalized Web applications. In this paper, we provide a formal definition and the &...
Yi Zeng, Yan Wang, Zhisheng Huang, Danica Damljano...
APBC
2007
110views Bioinformatics» more  APBC 2007»
15 years 5 months ago
Fast Structural Similarity Search Based on Topology String Matching
ibe an abstract data model of protein structures by representing the geometry of proteins using spatial data types and present a framework for fast structural similarity search bas...
Sung-Hee Park, David Gilbert, Keun Ho Ryu
132
Voted
BILDMED
2007
142views Algorithms» more  BILDMED 2007»
15 years 5 months ago
Interfacing Global and Local CBIR Systems for Medical Image Retrieval
Abstract. Contemporary picture archiving and communication systems are limited in managing large and varied image collections, because content-based image retrieval (CBIR) methods ...
Sameer Antani, Thomas Martin Deserno, L. Rodney Lo...
BIS
2007
147views Business» more  BIS 2007»
15 years 5 months ago
Facilitating Business Interoperability from the Semantic Web
Abstract. Most approaches to B2B interoperability are based on language syntax standardisation, usually by XML Schemas. However, due to XML expressivity limitations, they are diffi...
Roberto García, Rosa Gil