9166 search results - page 202 / 1834 » A framework for comparing models of computation |
120
Voted
IWACA
1994
15 years 8 months ago
1994
Computers are ever more thought of to support cooperative work over distances. Thus tele-cooperation tools and environments are needed which bring the meeting and joint-working ont...
120
Voted
ICIP
1999
IEEE
16 years 5 months ago
1999
IEEE
The usefulness of a video database relies on whether the video of interest can be easily located. To allow exploring, browsing, and retrieving videos according to their visual con...
125
click to vote
MOBISYS
2009
ACM
16 years 4 months ago
2009
ACM
Mobile devices are increasingly equipped with hardware and software services allowing them to determine their locations, but support for building location-aware applications remai...
137
click to vote
IJCINI
2007
15 years 4 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
142
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...