10568 search results - page 1595 / 2114 » Computer Intelligence and Formalization |
199
click to vote
FOIKS
2010
Springer
16 years 2 months ago
2010
Springer
The current web is a web of linked pages. Frustrated users search for facts by guessing which keywords or keyword phrases might lead them to pages where they can find facts. Can w...
186
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
201
click to vote
IPSN
2009
Springer
16 years 2 months ago
2009
Springer
In this work we present new in-network techniques for communication efficient approximate query processing in wireless sensornets. We use a model-based approach that constructs a...
220
click to vote
RTSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
191
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...