2737 search results - page 478 / 548 » interaction 2009 |
142
click to vote
CASES
2009
ACM
15 years 9 months ago
2009
ACM
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...
193
click to vote
CAV
2009
Springer
15 years 9 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
150
click to vote
CIDM
2009
IEEE
15 years 9 months ago
2009
IEEE
Most real-world classification problems involve continuous (real-valued) attributes, as well as, nominal (discrete) attributes. The majority of Ant Colony Optimisation (ACO) classi...
137
click to vote
CANDT
2009
15 years 9 months ago
2009
Geographic information systems and online mapping technologies have been widely used for supporting participatory decision-making in local communities. However, limited studies ha...
167
click to vote
CGI
2009
IEEE
15 years 9 months ago
2009
IEEE
Two dimensional point data can be considered one of the most basic, yet one of the most ubiquitous data types arising in a wide variety of applications. The basic scatter plot app...