1445 search results - page 56 / 289 » Properties of state spaces and their applications |
168
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
162
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. Principal Component Analysis (PCA) is one of the most popular techniques for dimensionality reduction of multivariate data points with application areas covering many bra...
177
click to vote
INFOCOM
1995
IEEE
15 years 9 months ago
1995
IEEE
An architecture and associated protocols are presented for managing multicast addresses and performing connection control for applications that use multicast communication faciliti...
166
click to vote
ICC
2009
IEEE
16 years 28 days ago
2009
IEEE
—In this paper we propose a new low feedback and low complexity scheme that adjusts the phases at the relays, thus allowing for the coherent combining of signals from multiple re...
172
click to vote
IPSN
2007
Springer
16 years 9 days ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...