Sciweavers

1715 search results - page 140 / 343
» How Space Structures Language
Sort
View
CBMS
2006
IEEE
15 years 9 months ago
MS2DB: An Algorithmic Approach to Determine Disulfide Linkage Patterns
Determining the number and location of disulfide bonds within a protein provide valuable insight into the protein’s three-dimensional structure. Purely computational methods tha...
Timothy Lee, Rahul Singh, Ten-Yang Yen, Bruce Mach...
127
Voted
IJCGA
2007
55views more  IJCGA 2007»
15 years 3 months ago
Parabola Separation Queries and their Application to Stone Throwing
Given two sets A and B of m non-intersecting line segments in the plane, we show how to compute in O(m log m) time a data structure that uses O(m) space and allows to answer the fo...
Otfried Cheong, Hazel Everett, Hyo-Sil Kim, Sylvai...
171
Voted
KES
2007
Springer
15 years 9 months ago
Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods
This work deals with the application of kernel methods to structured relational settings such as semantic knowledge bases expressed in Description Logics. Our method integrates a n...
Nicola Fanizzi, Claudia d'Amato
172
Voted
ISORC
1998
IEEE
15 years 8 months ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
126
Voted
TOOLS
2008
IEEE
15 years 10 months ago
Guarded Program Transformations Using JTL
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
Tal Cohen, Joseph Gil, Itay Maman