6274 search results - page 415 / 1255 » Proofs, Programs, Processes |
184
click to vote
WEBNET
2000
15 years 8 months ago
2000
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...
173
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We consider the tile self-assembly model and how tile complexity can be eliminated by permitting the temperature of the self-assembly system to be adjusted throughout the assembly...
247
click to vote
IPM
1998
15 years 6 months ago
1998
This paper describes a collaborative effort to explore user needs in a digital library, develop interface prototypes for a digital library, and suggest and prototype tools for dig...
185
click to vote
ICMLC
2010
Springer
15 years 5 months ago
2010
Springer
: This paper focused on designing of a ubiquitous interface agent based on the ontology technology and interaction diagram with the backend information agent system, i.e., OntoIAS,...
203
click to vote
IPCO
2010
15 years 4 months ago
2010
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...