66 search results - page 13 / 14 » Automated Property Verification for Large Scale B Models |
BMCBI
2007
13 years 7 months ago
2007
Background: Tiling microarrays are becoming an essential technology in the functional genomics toolbox. They have been applied to the tasks of novel transcript identification, elu...
MMB
2010
Springer
14 years 4 days ago
2010
Springer
Abstract. Computing tight performance bounds in feed-forward networks under general assumptions about arrival and server models has turned out to be a challenging problem. Recently...
IJCV
2006
13 years 7 months ago
2006
This paper studies the problem of matching two unsynchronized video sequences of the same dynamic scene, recorded by different stationary uncalibrated video cameras. The matching i...
SIGCOMM
1994
ACM
13 years 11 months ago
1994
ACM
Existing multicast routing mechanisms were intended for use within regions where a group is widely represented or bandwidth is universally plentiful. When group members, and sende...
GIS
2007
ACM
14 years 8 months ago
2007
ACM
We present the GeoStar project at RPI, which researches various terrain (i.e., elevation) representations and operations thereon. This work is motivated by the large amounts of hi...