1444 search results - page 152 / 289 » Visualizing Common Ground |
139
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
152
click to vote
PRL
2011
14 years 5 months ago
2011
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
199
Voted
ECIS
2011
14 years 2 months ago
2011
1 Information technology (IT) has a tremendous impact on the discipline of accounting by introducing new ways of retrieving and processing information about performance deviations ...
114
Voted
HICSS
2012
IEEE
13 years 10 months ago
2012
IEEE
The success of open government initiatives depends on understanding the informational needs of the concerned citizens and other stakeholders as prerequisite for open access to rel...
151
click to vote
LPAR
2012
Springer
13 years 10 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...