14704 search results - page 339 / 2941 » computing 2007 |
137
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
131
Voted
APN
2007
Springer
15 years 10 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
145
Voted
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument dif...
158
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Pedestrian detection from images of the visible spectrum is a high relevant area of research given its potential impact in the design of pedestrian protection systems. There are ma...
127
click to vote
CPM
2007
Springer
15 years 8 months ago
2007
Springer
This paper considers enumeration of substring equivalence classes introduced by Blumer et al. [1]. They used the equivalence classes to define an index structure called compact dir...