7109 search results - page 1269 / 1422 » Process Algebra with Combinators |
162
click to vote
ICST
2008
IEEE
16 years 13 days ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
171
click to vote
PIMRC
2008
IEEE
16 years 12 days ago
2008
IEEE
—A constant envelope Continuous Phase Modulation (CPM) class of Multi-Channel (MC) modulations for multiantenna transmitters is considered. Each receive antenna receives a superp...
157
click to vote
ACIVS
2008
Springer
16 years 11 days ago
2008
Springer
Multi-view scene reconstruction from multiple uncalibrated images can be solved by two stages of processing: first, a sparse reconstruction using Structure From Motion (SFM), and ...
190
click to vote
ICASSP
2007
IEEE
16 years 11 days ago
2007
IEEE
Protein structure prediction aims to determine the three-dimensional structure of proteins form their amino acid sequences. When a protein does not have similarity (homology) to a...
160
click to vote
IPPS
2007
IEEE
16 years 10 days ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...