7109 search results - page 1269 / 1422 » Process Algebra with Combinators |
191
Voted
ICST
2008
IEEE
16 years 1 months 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...
196
click to vote
PIMRC
2008
IEEE
16 years 1 months 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...
181
click to vote
ACIVS
2008
Springer
16 years 1 months 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 ...
216
click to vote
ICASSP
2007
IEEE
16 years 1 months 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...
180
click to vote
IPPS
2007
IEEE
16 years 1 months 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...