Sciweavers

4035 search results - page 243 / 807
» Useless Actions Are Useful
Sort
View
COMBINATORICS
2007
73views more  COMBINATORICS 2007»
15 years 6 months ago
Using Determining Sets to Distinguish Kneser Graphs
This work introduces the technique of using a carefully chosen determining set to prove the existence of a distinguishing labeling using few labels. A graph G is said to be d-dist...
Michael O. Albertson, Debra L. Boutin
ATAL
2005
Springer
16 years 4 days ago
Layered message semantics using social commitments
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
IJCNLP
2005
Springer
16 years 3 days ago
Improving Korean Speech Acts Analysis by Using Shrinkage and Discourse Stack
Abstract. A speech act is a linguistic action intended by a speaker. It is important to analyze the speech act for the dialogue understanding system because the speech act of an ut...
Kyungsun Kim, Youngjoong Ko, Jungyun Seo
HASE
1999
IEEE
15 years 11 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
ASPLOS
1998
ACM
15 years 10 months ago
Fast Out-Of-Order Processor Simulation Using Memoization
Our new out-of-order processor simulator, FastSim, uses two innovations to speed up simulation 8–15 times (vs. Wisconsin SimpleScalar) with no loss in simulation accuracy. First...
Eric Schnarr, James R. Larus