7918 search results - page 222 / 1584 » Model Composition Directives |
137
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
155
click to vote
WISE
2003
Springer
15 years 9 months ago
2003
Springer
Service-Oriented Computing (SOC) is the computing paradigm that utilizes services as fundamental elements for developing applications/solutions. To build the service model, SOC re...
149
click to vote
PCM
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we proposed a new edge-directed image interpolation algorithm which can preserve the edge features and natural appearance of images efficiently. In the proposed sche...
119
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
s Omni-directional mobile robots have been popularly employed in several application areas. However, the kinematics for these systems have not been clearly identified, specially fo...
127
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Having in mind the large-scale analysis of gene regulatory networks, we review a graph decimation algorithm, called "leaf-removal", which can be used to evaluate the feed...