1514 search results - page 150 / 303 » Best-Order Streaming Model |
126
Voted
VRML
2004
ACM
15 years 9 months ago
2004
ACM
This paper addresses the problem of streaming progressively compressed 3-D models over lossy networks. Out of all encoded packets that can be transmitted, we intelligently choose ...
116
Voted
DISCEX
2003
IEEE
15 years 8 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
111
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
145
Voted
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
142
Voted
ACL
1997
15 years 4 months ago
1997
To understand a speaker’s turn of a conversation, one needs to segment it into intonational phrases, clean up any speech repairs that might have occurred, and identify discourse...