2036 search results - page 91 / 408 » A generic type-and-effect system |
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
The convergence of TV and new features such as Internet and games, requires a generic media-processing platform, that enables simultaneous execution of very diverse tasks, ranging...
110
Voted
NSF
2001
Springer
15 years 5 months ago
2001
Springer
Today‘s use of mobile phones is mostly for coordination purposes. It seems reasonable to assume that 3G and 4G high bandwidth systems will be used in a similar way. This paper th...
89
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
103
Voted
IGPL
2002
15 years 13 days ago
2002
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness an...
130
click to vote
CAIP
2009
Springer
15 years 7 months ago
2009
Springer
Most object detection techniques discussed in the literature are based solely on texture-based features that capture the global or local appearance of an object. While results indi...