Sciweavers

1063 search results - page 43 / 213
» Order and Negation as Failure
Sort
View
IJON
2007
79views more  IJON 2007»
13 years 9 months ago
Serial interval statistics of spontaneous activity in cortical neurons in vivo and in vitro
Stationary spiking of single neurons is often modelled by a renewal point process. Here, we tested the underlying model assumption that the inter-spike intervals are mutually inde...
Martin P. Nawrot, Clemens Boucsein, Victor Rodrigu...
INFOCOM
2006
IEEE
14 years 3 months ago
Relay Placement for Higher Order Connectivity in Wireless Sensor Networks
Abstract— Sensors typically use wireless transmitters to communicate with each other. However, sensors may be located in a way that they cannot even form a connected network (e.g...
Abhishek Kashyap, Samir Khuller, Mark A. Shayman
APAL
2006
45views more  APAL 2006»
13 years 10 months ago
On properties of theories which preclude the existence of universal models
We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality whe...
Mirna Dzamonja, Saharon Shelah
INFOCOM
2005
IEEE
14 years 3 months ago
Avoiding transient loops during IGP convergence in IP networks
— When the topology of an IP network changes due to a link failure or a link weight modification, the routing tables of all the routers must be updated. Each of those updates ma...
Pierre Francois, Olivier Bonaventure
NIPS
2007
13 years 11 months ago
EEG-Based Brain-Computer Interaction: Improved Accuracy by Automatic Single-Trial Error Detection
Brain-computer interfaces (BCIs), as any other interaction modality based on physiological signals and body channels (e.g., muscular activity, speech and gestures), are prone to e...
Pierre W. Ferrez, José del R. Millán