4117 search results - page 594 / 824 » On the Satisfiability of Complex Constraints |
207
click to vote
TELSYS
2008
15 years 6 months ago
2008
With the number of e-Business applications dramatically increasing, a service level agreement (SLA) will play an important part in Web services. The SLA is a combination of severa...
189
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Alternative splicing is a major mechanism of generating protein diversity in higher eukaryotes. Although at least half, and probably more, of mammalian genes are alter...
206
click to vote
TWC
2008
15 years 6 months ago
2008
Node cooperation is an emerging and powerful solution that can overcome the limitation of wireless systems as well as improve the capacity of the next generation wireless networks....
195
click to vote
IJRR
2000
15 years 6 months ago
2000
The inverse kinematics problem is formulated as a parameterized autonomous dynamical system problem, and respective analysis is carried out. It is shown that a singular point of w...
173
click to vote
JFP
2000
15 years 6 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...