1788 search results - page 240 / 358 » Model Theory for Process Algebra |
132
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...
152
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
152
click to vote
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
The Technology Acceptance Model (TAM) represents an important theoretical contribution toward understanding IS usage and IS acceptance behaviors [6, 19]. However, as noted by seve...
164
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
123
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present a real-time algorithm for 3D object detection in images. Our method relies on the Ullman and Basri [13] theory which claims that the same object under di...