4502 search results - page 628 / 901 » Regular Model Checking |
151
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
Port-based network modeling of physical systems leads to a model class of nonlinear systems known as port-Hamiltonian systems. Port-Hamiltonian systems are defined with respect t...
167
click to vote
IJON
2007
15 years 6 months ago
2007
Many conceptual studies of local cortical networks assume completely random wiring. For spatially extended networks, however, such random graph models are inadequate. The geometry...
142
click to vote
NAACL
2010
15 years 4 months ago
2010
For millions of people in less resourced regions of the world, text messages (SMS) provide the only regular contact with their doctor. Classifying messages by medical labels suppo...
220
click to vote
TIP
2011
15 years 1 months ago
2011
Abstract—The purpose of this study is to investigate multiregion graph cut image partitioning via kernel mapping of the image data. The image data is transformed implicitly by a ...
176
click to vote
SCL
2010
15 years 1 months ago
2010
A class of binary decision-making tasks called the two-alternative forced-choice task has been used extensively in psychology and behavioral economics experiments to investigate h...