5647 search results - page 872 / 1130 » A word from the editor |
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
168
Voted
IJCAT
2008
15 years 6 months ago
2008
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...
196
click to vote
ENTCS
2006
15 years 6 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
174
click to vote
EOR
2006
15 years 6 months ago
2006
The robust spanning tree problem is a variation, motivated by telecommunications applications, of the classic minimum spanning tree problem. In the robust spanning tree problem ed...
156
click to vote
IJEH
2008
2008
Facilitating superior chronic disease management through a knowledge-based systems development model
15 years 6 months ago
To date the adoption and diffusion of technology enabled solutions to deliver better healthcare has been slow. There are many reasons for this. One of the most significant is that...