29147 search results - page 5428 / 5830 » System Modeling Resurrected |
178
Voted
ICLP
2003
Springer
16 years 17 hour ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
195
click to vote
ILP
2003
Springer
16 years 14 hour ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
181
click to vote
IPSN
2003
Springer
16 years 8 hour ago
2003
Springer
A novel source localization approach using acoustic energy measurements from the individual sensors in the sensor field is presented. This new approach is based on the acoustic en...
168
Voted
ISMIS
2003
Springer
16 years 6 hour ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
179
click to vote
ISCA
2010
IEEE
15 years 12 months ago
2010
IEEE
Power consumption has become a major constraint in the design of processors today. To optimize a processor for energyefficiency requires an examination of energy-performance trade...