1328 search results - page 187 / 266 » Cut-free common knowledge |
147
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Regular path queries are the basic navigational component of virtually all the mechanisms for querying semistructured data commonly found in information integration applications, W...
138
click to vote
FOCS
2006
IEEE
15 years 8 months ago
2006
IEEE
We consider random 3CNF formulas with n variables and m clauses. It is well known that when m > cn (for a sufficiently large constant c), most formulas are not satisfiable. How...
129
click to vote
ANSS
2001
IEEE
15 years 8 months ago
2001
IEEE
In a Web-Based federated simulation system, a group of simulation models residing on different machines attached to the Internet, called federates, collaborate with each other to ...
155
click to vote
CISIS
2010
IEEE
15 years 8 months ago
2010
IEEE
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...
139
Voted
ITS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...