2123 search results - page 345 / 425 » Composition of Cyber-Physical Systems |
119
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Despite much research in the area of wireless sensor networks in recent years, the programming of sensor nodes is still time-consuming and tedious. A new paradigm which seems to b...
102
Voted
BLISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Constructing the face of a criminal from the selection of individual facial parts is a hard task. We have been working on a new system called EvoFIT that involves the selection an...
92
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...
108
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
104
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
When dealing with genres of web pages, there are two important aspects to be taken into account. On the one hand, the web is fluid, unstable and fast-paced. On the other hand, gen...