10916 search results - page 99 / 2184 » On Constructive Connectives and Systems |
189
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In combinatorics, the probabilistic method is a very powerful tool to prove the existence of combinatorial objects with interesting and useful properties. Explicit constr...
147
click to vote
APPROX
2005
Springer
15 years 12 months ago
2005
Springer
Constructions of k-wise almost independent permutations have been receiving a growing amount of attention in recent years. However, unlike the case of k-wise independent functions...
189
click to vote
AAAI
2000
15 years 7 months ago
2000
We present a novel approach to plan recognition in which graph construction and analysis is used as a paradigm. We use a graph structure called a Goal Graph for the plan recogniti...
159
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
— Time-varying graphs are widely used to model communication and sensing in multi-agent systems such as mobile sensor networks and dynamic animal groups. Connectivity is often de...
145
click to vote
GRAPHICSINTERFACE
2007
2007
BlueTable: connecting wireless mobile devices on interactive surfaces using vision-based handshaking
15 years 7 months ago
Associating and connecting mobile devices for the wireless transfer of data is often a cumbersome process. We present a technique of associating a mobile device to an interactive ...