4281 search results - page 110 / 857 » How to Disembed a Program |
123
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
132
click to vote
JECR
2000
15 years 2 months ago
2000
The purpose of this paper consists in establishing the model for the supply-demand interaction in the age of electronic commerce. First of all, the study uses the individual objec...
147
click to vote
TPLP
2002
15 years 1 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
103
click to vote
FUIN
2010
15 years 25 days ago
2010
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...
148
click to vote
IEEECIT
2010
IEEE
15 years 24 days ago
2010
IEEE
—Multi-core technology is becoming the mainstream of processor architecture. It is a great challenge for universities to offer students new theories because of the continuous cha...