5215 search results - page 254 / 1043 » A model of normative power |
191
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
189
click to vote
WCRE
1996
IEEE
15 years 11 months ago
1996
IEEE
The process of software development is gradually achieving more rigor. Proficient developers now construct indirectly through the abstraction of models. Models allow a developer t...
291
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
This paper proposes a demo of the TopX search engine, an extensive framework for unified indexing, querying, and ranking of large collections of unstructured, semistructured, and ...
228
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...
162
click to vote
ACRI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....