Sciweavers

1404 search results - page 188 / 281
» On the Behavior of Complex Object-Oriented Systems
Sort
View
ICSM
2009
IEEE
16 years 21 days ago
Regression model checking
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
Guowei Yang, Matthew B. Dwyer, Gregg Rothermel
122
Voted
EPIA
2009
Springer
16 years 19 days ago
Comparing Different Properties Involved in Word Similarity Extraction
In this paper, we will analyze the behavior of several parameters, namely type of contexts, similarity measures, and word space models, in the task of word similarity extraction fr...
Pablo Gamallo Otero
ATAL
2007
Springer
16 years 7 days ago
Matrix-based representation for coordination fault detection: a formal approach
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
Meir Kalech, Michael Lindner, Gal A. Kaminka
KI
2007
Springer
16 years 5 days ago
Location-Based Activity Recognition
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a person’s activities and signi...
Dieter Fox
147
Voted
WG
2007
Springer
16 years 4 days ago
On Finding Graph Clusterings with Maximum Modularity
Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...
Ulrik Brandes, Daniel Delling, Marco Gaertler, Rob...