4447 search results - page 842 / 890 » Model Checking Games |
183
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
185
click to vote
ICIAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper our purpose is to present some solutions to multiple object tracking in an image sequence with a real time constraint and a possible mobile camera. We propo...
141
click to vote
SIGECOM
2010
ACM
15 years 10 months ago
2010
ACM
Recently, some mainstream e-commerce web sites have begun using “pay-per-bid” auctions to sell items, from video games to bars of gold. In these auctions, bidders incur a cost...
240
click to vote
COLCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Geospatial tagging (geotagging) is an emerging and very promising application that can help users find a wide variety of location-specific information, and facilitate the deve...
150
click to vote
ISAAC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. A fundamental problem in computational biology is the determination of the correct species tree for a set of taxa given a set of possibly contradictory gene trees. In rec...