Sciweavers

8337 search results - page 246 / 1668
» Reasoning With Characteristic Models
Sort
View
343
Voted
SMA
2011
ACM
265views Solid Modeling» more  SMA 2011»
15 years 1 months ago
Modeling individual migraine severity with autoregressive ordered probit models
This paper considers the problem of modeling migraine severity assessments and their dependence on weather and time characteristics. We take on the viewpoint of a patient who is i...
Claudia Czado, Anette Heyn, Gernot Müller
SPIN
2009
Springer
16 years 21 days ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...
ICASSP
2010
IEEE
15 years 6 months ago
From flat direct models to segmental CRF models
This paper summarizes recent work at Microsoft on the development of novel direct models. The key characteristic of our approaches is the use of long-span segment level features t...
Geoffrey Zweig, Patrick Nguyen
141
Voted
DATE
2003
IEEE
113views Hardware» more  DATE 2003»
15 years 11 months ago
Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
Laura Vanzago, Bishnupriya Bhattacharya, Joel Camb...
182
Voted
LICS
1994
IEEE
15 years 10 months ago
Foundations of Timed Concurrent Constraint Programming
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta