Sciweavers

1330 search results - page 14 / 266
» No Classic Boundary Conditions
Sort
View
SYNTHESE
2010
115views more  SYNTHESE 2010»
13 years 8 months ago
The Classical Model of Science: a millennia-old model of scientific rationality
Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora. These s...
Willem R. de Jong, Arianna Betti
TCC
2009
Springer
133views Cryptology» more  TCC 2009»
14 years 11 months ago
Composing Quantum Protocols in a Classical Environment
We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple q...
Serge Fehr, Christian Schaffner
AIPS
2011
13 years 2 months ago
Directed Search for Generalized Plans Using Classical Planners
We consider the problem of finding generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
JCT
2011
87views more  JCT 2011»
13 years 5 months ago
Chain enumeration of k-divisible noncrossing partitions of classical types
We give combinatorial proofs of the formulas for the number of multichains in the k-divisible noncrossing partitions of classical types with certain conditions on the rank and the ...
Jang Soo Kim
IROS
2009
IEEE
114views Robotics» more  IROS 2009»
14 years 5 months ago
A Distributed boundary detection algorithm for multi-robot systems
— We describe a distributed boundary detection algorithm suitable for use on multi-robot systems with dynamic network topologies. We assume that each robot has access to its loca...
James McLurkin, Erik D. Demaine