2253 search results - page 238 / 451 » The ComFoRT Reasoning Framework |
AINA
2007
IEEE
15 years 2 months ago
2007
IEEE
This paper presents a framework for specifying Web services communities. A Web service is an accessible application that humans, software agents, and other applications in general ...
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
91
Voted
3DPVT
2004
IEEE
15 years 2 months ago
2004
IEEE
We present a computational framework for the inference of dense descriptions from multiple view stereo with general camera placement. Thus far research on dense multiple view ster...
75
Voted
BIBE
2004
IEEE
15 years 2 months ago
2004
IEEE
Clustering has been one of the most popular methods to discover useful biological insights from DNA microarray. An interesting paradigm is simultaneous clustering of both genes an...
111
click to vote
CAISE
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...