23988 search results - page 4621 / 4798 » Social Network Computing |
113
click to vote
EJWCN
2010
14 years 10 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
129
click to vote
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper considers the estimation of shooter locations using a sensor network where each sensor measures the time difference between receptions of a firearm's muzzle blast ...
176
click to vote
IHI
2010
14 years 10 months ago
2010
The rising cost of healthcare is one of the major concerns faced by the nation. One way to lower healthcare costs and provide better quality care to patients is through the effect...
146
click to vote
INTERSPEECH
2010
14 years 10 months ago
2010
Computer-Assisted Pronunciation Training System (CAPT) has become an important learning aid in second language (L2) learning. Our approach to CAPT is based on the use of phonologi...
221
click to vote
JCIT
2010
14 years 10 months ago
2010
The use of geographic data through Web services shows the geospatial Web Services (GWS). A growing number of GWS designed to interoperate spatial information over the network have...