3191 search results - page 306 / 639 » Qualitative Modeling in Education |
102
Voted
TITB
2010
14 years 7 months ago
2010
This contribution investigates the feasibility of the passive UHF RF identification technology for the wireless monitoring of human body movements in some common sleep disorders by...
90
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
127
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
— Secrecy graphs model the connectivity of wireless networks under secrecy constraints. Directed edges in the graph are present whenever a node can talk to another node securely ...
94
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper we present a method for learning a curve model for detection and segmentation by closely integrating a hierarchical curve representation using generative and discrim...