949 search results - page 150 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
ICCV
1998
IEEE
14 years 10 months ago
1998
IEEE
I n this paper, we propose the use of mirrors and a single camerafor computational stereo. Whencompared to conventional stereo systems that use two cameras, our method has a numbe...
CVPR
2006
IEEE
14 years 10 months ago
2006
IEEE
In this paper we consider the problem of segmenting multiple rigid motions using multi?frame point correspondence data. The main idea of the method is to group points according to...
SIGUCCS
2003
ACM
14 years 2 months ago
2003
ACM
Legacy network file services such as NFS, SMB/CIFS, and AFP changed the way we worked. File services running on crossplatform networks allowed us to save our files on remote syste...
CAV
2009
Springer
14 years 3 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
SFM
2009
Springer
14 years 3 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...