3056 search results - page 288 / 612 » Open Implementation Analysis and Design |
231
click to vote
SACMAT
2011
ACM
14 years 9 months ago
2011
ACM
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...
187
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose an autonomous system for personalized production of basketball videos from multi-sensored data under limited display resolution. Especially, we propose criteria for opt...
180
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
149
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
191
click to vote
BMCBI
2008
15 years 6 months ago
2008
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...