3381 search results - page 454 / 677 » Extending Dependencies with Conditions |
224
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
175
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
202
click to vote
BROADNETS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
190
click to vote
COMSWARE
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— In the last few years, WLAN has seen immense growth and it will continue this trend due to the fact that it provides convenient connectivity as well as high speed links...
199
click to vote
FGR
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, a layered deformable model (LDM) is proposed for human body pose recovery in gait analysis. This model is inspired by the manually labeled silhouettes in [6] and it...