1128 search results - page 157 / 226 » Little Engines of Proof |
139
click to vote
OOPSLA
2009
Springer
16 years 22 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
150
click to vote
SEMWEB
2009
Springer
16 years 22 days ago
2009
Springer
Significant efforts have focused in the past years on bringing large amounts of metadata online and the success of these efforts can be seen by the impressive number of web site...
190
click to vote
MM
2009
ACM
16 years 21 days ago
2009
ACM
The following paper presents a novel audio-visual approach for unsupervised speaker locationing. Using recordings from a single, low-resolution room overview camera and a single f...
156
click to vote
ICNS
2008
IEEE
16 years 19 days ago
2008
IEEE
: Traffic distribution forecasting is an essential step in network planning for packet-switching networks. It is frequently necessary to forecast and develop an optimal network con...
157
click to vote
COMSWARE
2007
IEEE
16 years 16 days ago
2007
IEEE
— Wireless sensor networks have attracted significant interest for various scientific, military, and e-health applications. Recently a new class of sensor networks “sensor/ac...