1670 search results - page 239 / 334 » On Skolemization in constructive theories |
168
click to vote
SLE
2009
Springer
16 years 28 days ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
153
click to vote
HT
2009
ACM
16 years 28 days ago
2009
ACM
Data created by social bookmarking systems can be described as 3-partite 3-uniform hypergraphs connecting documents, users, and tags (tagging networks), such that the toolbox of c...
184
click to vote
IPSN
2010
Springer
16 years 27 days ago
2010
Springer
For in-network storage schemes, one maps data, indexed in a logical space, to the distributed sensor locations. When the physical sensor network has an irregular shape and possibl...
157
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...
201
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...