3336 search results - page 436 / 668 » Communication Model to Support Rapid Application Development |
164
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
312
click to vote
GIS
2008
ACM
16 years 8 months ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
235
click to vote
ICCD
2002
IEEE
16 years 4 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
216
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
This study focuses on determining a procedure to select effective negative examples for development of improved Support Vector Machine (SVM) based speaker recognition. Selection o...
187
click to vote
CIMCA
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes a portlet-based portal that provides user interfaces for access a Grid-based elearning platform. E-learning platforms that exploit resources and computing pow...