2214 search results - page 350 / 443 » Complexity of Reasoning |
131
click to vote
PRESENCE
1998
15 years 2 months ago
1998
Two experiments investigated components of participants’ spatial knowledge when they navigated large-scale ‘‘virtual buildings’’ using ‘‘desk-top’’ (i.e., nonimm...
129
click to vote
TELSYS
2002
15 years 2 months ago
2002
The Routing Information Protocol (RIP) may introduce misleading routing information into the routing table, due to network topology changes such as link or router failures. This is...
124
click to vote
TOSEM
2002
15 years 2 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
146
click to vote
MICS
2008
15 years 2 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
118
click to vote
PVLDB
2008
15 years 2 months ago
2008
Forms-based query interfaces are widely used to access databases today. The design of a forms-based interface is often a key step in the deployment of a database. Each form in suc...