2849 search results - page 391 / 570 » As We Should Have Thought |
163
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
186
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
As financial markets are volatile and rapidly changing, preciseness and agility in price evaluation and risk assessment in the portfolios are more important and decision support s...
161
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The Visual Acts theory aims to provide intelligent assistance for camera viewpoint selection during teleoperation. It combines top-down partitioning of a task and bottom-up monito...
196
click to vote
IAW
2003
IEEE
15 years 12 months ago
2003
IEEE
ā Computer Networks connected to the Internet continue to be compromised and exploited by hackers. This is in spite of the fact that many networks run some type of security mecha...
166
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
In the context of Intelligent Learning Environments (ILE), adaptivity plays a key role. In order to achieve adaptive behavior an ILE should have a rich representation of the learn...