Sciweavers

8676 search results - page 373 / 1736
» Reconciling Feature Modeling: A Feature Modeling Metamodel
Sort
View
DBSEC
2008
188views Database» more  DBSEC 2008»
15 years 8 months ago
On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
Manachai Toahchoodee, Indrakshi Ray
AICOM
2008
146views more  AICOM 2008»
15 years 6 months ago
Domain action classification using a maximum entropy model in a schedule management domain
Since speaker's intentions can be represented into domain actions (pairs of domain-independent speech acts and domain-dependent concept sequences) in goal-oriented dialogues,...
Hyunjung Lee, Harksoo Kim, Jungyun Seo
CORR
2010
Springer
207views Education» more  CORR 2010»
15 years 6 months ago
Collaborative Hierarchical Sparse Modeling
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...
Pablo Sprechmann, Ignacio Ramírez, Guillerm...
ICDAR
2003
IEEE
16 years 1 hour ago
Bayesian Network Modeling of Hangul Characters for On-line Handwriting Recognition
In this paper, we propose a Bayesian network framework for explicitly modeling components and their relationships of Korean Hangul characters. A Hangul character is modeled with h...
Sung-Jung Cho, Jin Hyung Kim
241
Voted
APN
2010
Springer
15 years 11 months ago
AlPiNA: A Symbolic Model Checker
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
Didier Buchs, Steve Hostettler, Alexis Marechal, M...