Sciweavers

4158 search results - page 623 / 832
» A Framework for Web Science
Sort
View
MOBIHOC
2000
ACM
15 years 10 months ago
DEAPspace: transient ad-hoc networking of pervasive devices
The rapid spreading of mobile computerized devices marks the beginning of a new computing paradigm characterized by ad hoc networking and spontaneous interaction, taking place tra...
Reto Hermann, Dirk Husemann, Michael Moser, Michae...
151
Voted
CAIP
1999
Springer
138views Image Analysis» more  CAIP 1999»
15 years 10 months ago
Procrustes Alignment with the EM Algorithm
This paper casts the problem of point-set alignment via Procrustes analysis into a maximum likelihood framework using the EM algorithm. The aim is to improve the robustness of the...
Bin Luo, Edwin R. Hancock
190
Voted
CAISE
2004
Springer
15 years 9 months ago
Simple and Minimum-Cost Satisfiability for Goal Models
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
Roberto Sebastiani, Paolo Giorgini, John Mylopoulo...
161
Voted
CAISE
2006
Springer
15 years 9 months ago
Classification and Ontological Aspects in Software Engineering
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
María del Pilar Romay, Carlos E. Cuesta
DEON
2006
Springer
15 years 9 months ago
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
Jan Broersen