Sciweavers

1404 search results - page 188 / 281
» On the Behavior of Complex Object-Oriented Systems
Sort
View
ICSM
2009
IEEE
16 years 29 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
EPIA
2009
Springer
16 years 27 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 15 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 14 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
WG
2007
Springer
16 years 13 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...