4266 search results - page 257 / 854 » A Framework for Defining Logics |
191
click to vote
ICNSC
2008
IEEE
16 years 1 months ago
2008
IEEE
— suppose we have a video, the first half of this video is capturing the images of a sedan and the second half is recording the moving of a truck, can we use the same video track...
168
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we introduce the work done to define a framework for requirements and architectural understanding in biomedical grid computing systems. A set of core requirements fo...
179
click to vote
SRDS
2007
IEEE
16 years 1 months ago
2007
IEEE
The increasing complexity and dynamics of grid environments have posed great challenges for secure and privacy-preserving collaboration in a virtual organization. In this paper, w...
165
click to vote
ISM
2006
IEEE
16 years 22 days ago
2006
IEEE
Metadata comes into forefront as a savior of multimedia search and management complexity. However, the existence of the diverse set of metadata standards and the different vocabul...
170
click to vote
SEFM
2006
IEEE
16 years 22 days ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...