745 search results - page 94 / 149 » The Functional Side of Logic Programming |
141
Voted
MOBICOM
2010
ACM
15 years 4 months ago
2010
ACM
Mobility traces of people and vehicles have been collected and published to assist the design and evaluation of mobile networks, such as large-scale urban sensing networks. Althou...
140
Voted
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, a two-phase evolutionary optimization scheme is proposed for obtaining optimal structure of fuzzy control rules and their associated weights, using evolutionary prog...
121
Voted
MTV
2007
IEEE
15 years 10 months ago
2007
IEEE
The widening gap between CPU complexity and veriļ¬cation capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
132
click to vote
IPSN
2010
Springer
15 years 10 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
263
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...